Kevin Buzzard
PulseAugur coverage of Kevin Buzzard — every cluster mentioning Kevin Buzzard across labs, papers, and developer communities, ranked by signal.
2 day(s) with sentiment data
-
Anthropic's Claude AI formalizes Fermat's Last Theorem in 11 days · 1 source tracked
Anthropic's Claude AI has successfully completed the first end-to-end, computer-verifiable formal proof of Fermat's Last Theorem. The AI system, guided by researchers including Tianyi Peng, utilized approximately 13 mil…
-
Anthropic's Claude AI formalizes complete proof of Fermat's Last Theorem · 4 sources tracked
Anthropic's AI model, Claude, has successfully formalized a complete proof of Fermat's Last Theorem using the Lean 4 programming language. This achievement, which took 11 days of largely autonomous work, involved genera…
-
Anthropic's Claude AI autonomously proves Fermat's Last Theorem
Anthropic has announced that its AI model, Claude, has successfully generated a computer-checked proof for Fermat's Last Theorem. Over 11 days, Claude autonomously produced the proof in the Lean programming language, wr…
-
AI cracks century-old Jacobian conjecture, sparking awe and unease
An AI model has solved the Jacobian conjecture, a mathematical problem that has stumped mathematicians since 1939. Levant Alpöge, an employee at Anthropic, announced the breakthrough, which has garnered significant atte…