#формализация
-
Anthropic's AI Formally Proved Fermat's Last Theorem in Lean
In 11 days, an internal Anthropic model assembled a complete formalization of the proof of Fermat's Last Theorem — the last remaining item on a 20-year-old list of 100 formalization challenges.