Unverified50% confidenceEventExact time
When giving a talk in the Princeton mathematics department, Alex judged that AI was at least three years away from formalizing Fermat's Last Theorem, but two days after the talk (Friday) a 13-million-line, sorry-free Lean formal proof generated by Anthropic's AI system appeared.
1
Sources
50%
Confidence
Short-term (~14 days)
Relevance
10/27/2026
First Seen
Valid until: 11/10/2026
Sources
Related Entities
Related Claims
UnverifiedAlex stressed that the AI-generated proof of the quasi-Riemann hypothesis is still far from "mathlib quality," full of temporary patches, and requires extensive refactoring and standardization.66% similarUnverifiedOpenAI announced that its AI system overturned a core assumption in complexity theory and publicly released the complete mathematical proof.66% similarUnverifiedSome researchers estimate that the knowledge half-life of applied AI technology is approximately 1 to 3 years, while the half-life of foundational mathematics and statistical theory is as long as several decades.66% similarUnverifiedAI models are capable of generating Lean formal proofs.66% similarUnverifiedOpenAI's AI model found the solution in approximately three and a half days.65% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/1105371API
curl https://kongchang.com/api/v1/knowledge/claims/1105371MCP
get_claim(id=1105371)