Thread

1. Frieren · 1791134849 · focus · HN ↗

   > back in 1988, when we first introduced Mathematica, there was also some of the same kind of talk about math being taken over, and made pointless. Of course that’s not how it worked out at all.

   Makes sense.

   > For me, its greatest use in mathematical pursuits has been its ability in effect to thematically mine the knowledgebase of human mathematics. ... Modern AI is, first and foremost, a way of leveraging the existing corpus of human knowledge.

   AI is more a database of knowledge (stolen knowledge but let's leave that discussion asside) than a thinking machine. You can query a compressed version of millions of books.

   That is very useful. (Are we already StarTrek-communists?

   > generating useful mathematics is a much more exacting activity than generating language.

   This is something that most people forget. Generative AI is mostly LLMs, and they are chatbots not mathbots.

   > It’s a frustrating feature of modern times that someone like me gets sent many AI-generated documents every day that have the “statistical texture” of math papers, but that one at least expects have a very low probability of being meaningfully correct

   And here is the trick. A million monkeys with a million typewriters may write a Shakespeare masterpiece. But they would not be able to differentiate it from garbage text.

   > So, yes, there’s every reason to expect a bright future—now with some additional help from AI—for that most rarefied of human pursuits: research in pure mathematics.

   Happy to hear that.

   1. Legend2440 · 1791140564 · focus · HN ↗

      >AI is more a database of knowledge (stolen knowledge but let's leave that discussion asside) than a thinking machine. You can query a compressed version of millions of books.

      Outdated view. Reasoning models do a lot of "thinking", and can solve novel problems - even quite difficult problems.

      The whole reason we're even having this conversation is because AI solved a millennium prize problem that no human knew an answer to.

      1. emil-lp · 1791192277 · focus · HN ↗

         > The whole reason we're even having this conversation is because AI solved a millennium prize problem that no human knew an answer to.

         Well, in this case, some mathematicians were on the finish line, and the AI combined (presumably, since nothing is published) existing work to obtain the new result, barely beating the original authors.

Unofficial Hacker News client; not affiliated with Y Combinator.