🔬
🔬 Science
Anthropic's AI formalized Fermat's Last Theorem in 11 days
Anthropic's Claude model formalized the proof of the famous Last Theorem of Fermat in just 11 days — the computer-verified result runs to 13 million lines of code. This is a breakthrough milestone in mathematics, noted by Nature magazine. The theorem, which resisted mathematicians for over 350 years, was first proved by Andrew Wiles, but the new proof is fully formalized and machine-verifiable.
Comments
No comments yet
Comments
No comments yet — be the first to weigh in 👇
No comments yet. Be the first!