Tagged articles

Fermat's Last Theorem

3 articles · Page 1 of 1

Sep 11, 2026 · Artificial Intelligence

Anthropic's Claude Formalizes Fermat's Last Theorem in 11 Days Using Lean 4

Anthropic's Claude model, combined with Lean 4, formalized the remaining core proof of Fermat's Last Theorem in 11 days, leveraging massive parallelism, context engineering, and Lean's verification to achieve a speedup of orders of magnitude over years of manual effort.

AI mathematicsAnthropicClaude

0 likes · 16 min read

Anthropic's Claude Formalizes Fermat's Last Theorem in 11 Days Using Lean 4

AI Engineering

Sep 5, 2026 · Artificial Intelligence

Claude Formally Proves Fermat's Last Theorem in 11 Days with 13M Lines of Lean Code

Anthropic's Claude AI completed the first full formal verification of Fermat's Last Theorem in 11 days, generating over 13 million lines of Lean code and 29,500 intermediate theorems using the Prove2Me platform, with independent verification by the nanoda kernel, signaling a shift in mathematical proof validation.

AnthropicClaude AIFermat's Last Theorem

0 likes · 5 min read

Claude Formally Proves Fermat's Last Theorem in 11 Days with 13M Lines of Lean Code

Machine Heart

Jul 28, 2026 · Artificial Intelligence

Can GPT‑5.6 Sol Crack Fermat’s Last Theorem After 33 Hours of Continuous Running?

A researcher let GPT‑5.6 Sol run for about 33 hours trying to find a simpler proof of Fermat’s Last Theorem, but OpenAI’s system halted the session, prompting analysis of the model’s self‑diagnosis, safety mechanisms, possible bugs, and the broader implications of restricting powerful AI for high‑stakes mathematics.

AI safetyFermat's Last TheoremGPT-5.6

0 likes · 5 min read

Can GPT‑5.6 Sol Crack Fermat’s Last Theorem After 33 Hours of Continuous Running?