Andrew Wiles

AI Turns a 350-Year-Old Mathematical Proof into a Machine-Verified Result in 11 Days

Anthropic's Claude formalized Fermat's Last Theorem in 11 days, showing how AI can verify complex mathematics and reshape future research.