On Mon, Dec 8, 2025 at 12:05 AM 'Tomasz Rola' via Everything List < [email protected]> wrote:
> *>** The Chinese AI DeepSeekMath-V2, is not only the first open source AI >> to**win a gold medal at the International Mathematical Olympiad, it also >> got a **score of 118 out of 120 points on the Putnam Mathematical >> Competition;**3,988 humans took that test and all of them were math >> majors at prestigious **universities, but the test was so difficult that >> the highest score any **human got on it was 90, and the median score was >> zero. * > > > > So, a pretty good problem solver. *Pretty good? A 118 score on the Putnam and just pretty good? The rate of improvement is astounding, one year ago the smartest AI in the world would've gotten a zero on the **Putnam.* > But I think that a mathematician should be also capable of formulating > problems and theories. Consider, for example, Hilbert's problems or > Millenium Prize Problems . Would this AI mathematician be capable of > inventing Turing machine after being loaded with state of the art as it > was in 1936? I doubt it. *Grigori Perelman got a gold medal at the International Mathematical Olympiad in 1982, but he had his 16th birthday only a few days before so he was not yet a good enough mathematician to make a significant contribution to mathematics, however he kept getting better and a few years later he proved one of the Millenium Prize Problems, the Poincare "Conjecture", so now it is no longer a conjecture, it is a fact. I think AIs will follow a similar, but steeper, trajectory. * > * > **I also doubt that it will happen soon.* *I think that right now AIs are as stupid as they're ever going to be, and human beings are as smart as they're ever going to be. * *John K Clark See what's on my new list at Extropolis <https://groups.google.com/g/extropolis>* > > -- You received this message because you are subscribed to the Google Groups "Everything List" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion visit https://groups.google.com/d/msgid/everything-list/CAJPayv0D39TANsSVv4h%3DF_voWo69ockeOxs8ZRwGYh2PYWs7Qw%40mail.gmail.com.
