Diophantus-II-8-Fermat.jpgPhoto AI Formalizes Fermat's Last Theorem Proof in 13 Million Lines of Lean Used in AI Formalizes Fermat's Last Theorem Proof in 13 Million Lines of Lean en
AI Formalizes Fermat's Last Theorem Proof in 13 Million Lines of Lean