On Sun, Dec 07, 2025 at 03:13:31PM -0500, John Clark 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. But I think that a mathematician should be also capable of formulating problems and theories. Consider, for example, Hilbert's problems [1] or Millenium Prize Problems [2]. 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. I also doubt that it will happen soon. [...] > *You might also find the following to be of interest: * > > *Nvidia CEO Says Within 3 Years 90% Of The Worlds Knowledge Will Be > Generated By AI* > <https://www.youtube.com/watch?v=Mrx19bIc_Js&list=WL&index=6&t=8s> I will keep wondering how did he measure amount of "Worlds Knowledge" and what made him say about its future value. [1] https://en.wikipedia.org/wiki/Hilbert's_problems [2] https://en.wikipedia.org/wiki/Millennium_Prize_Problems -- Regards, Tomasz Rola -- ** A C programmer asked whether computer had Buddha's nature. ** ** As the answer, master did "rm -rif" on the programmer's home ** ** directory. And then the C programmer became enlightened... ** ** ** ** Tomasz Rola mailto:[email protected] ** -- 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/aTZco%2Bgv1Bl14yJB%40tau1.ceti.pl.
