Anthropic Says Claude Completed a Lean-Checked Formalization of Fermat’s Last Theorem
Sign in✓ Signed in
Anthropic says Claude completed a formalized proof of Fermat’s Last Theorem last month, producing a version that can be checked by the Lean proof assistant. The announcement highlights a shift from asking an AI model for plausible mathematical reasoning to requiring machine-verifiable proof artifacts.
Continue reading
The rest of this article is for AI News Blitz readers. Choose an option below to keep reading.
Already purchased? Sign in✓ Signed in — this article isn’t included in your current plan.
Unlocking the full article...