[ExI] AI Mathematicians

[John Clark]

*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. *

*DeepSeek’s self-correcting AI model aces tough math proofs*
<https://www.nature.com/articles/d41586-025-03959-9?utm_source=Live+Audience>

*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>

*And to think, some people are still getting all hot and bothered over
trivialities like illegal immigration and deficit spending and the war on
Christmas. *

*John K Clark*
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.extropy.org/pipermail/extropy-chat/attachments/20251207/a5662826/attachment.htm>