Tianyi Peng
PulseAugur coverage of Tianyi Peng — every cluster mentioning Tianyi Peng across labs, papers, and developer communities, ranked by signal.
-
Anthropic's Claude AI formalizes Fermat's Last Theorem in 11 days
Anthropic has utilized multiple instances of its Claude AI model to formalize Fermat's Last Theorem, generating 13 million lines of code and proving over 30,000 theorems in just eleven days. This complex mathematical fe…
-
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 achieves first computer-checked proof of Fermat's Last Theorem · 4 sources tracked
Anthropic has announced the first complete, computer-checked formalization of Fermat's Last Theorem using the Lean 4 programming language. An internal research model, built on Claude, autonomously worked for 11 days to …