Latest / AnyMessages · Daily Podcast
AI Converts Fermat's Last Theorem's 129-Page Handwritten Proof into 13 Million Lines of Lean Code in 11 Days
Anthropic used a multi-agent pipeline to run Wiles's 1995 proof end-to-end, giving mathematics its first machine-verifiable proof of Fermat's Last Theorem from start to finish.
The skinny
The skinny isn't ready yet — notes appear once the transcript is processed.