Fermat's Last Theorem
AssessTechniques
A famous mathematical theorem stating that no nonzero integer solutions exist for x^n + y^n = z^n when n > 2.
Why it's here
Placed in Assess: 3 article(s) of evidence from 1 source(s), led by research breakthroughs, with 0 in the last 30 days. Confidence 34%.
Evidence (3)
- 7Hacker News·9/6/2026researchAI-assisted proof of the Spherical Hadwiger Theorem
A preprint by Wang and Wu claims to prove the long-open Spherical Hadwiger Conjecture with AI assistance, specifically noting OpenAI Codex helped develop proof details, find gaps, and prepare the manuscript. The post frames this as another sign that AI is starting to affect research mathematics, even in niche areas with limited economic value and sparse training data.
- 6Hacker News·9/4/2026open_sourceFormalizing Fermat's Last Theorem in Lean 4
A GitHub project presents a Lean 4 formalization of Fermat's Last Theorem, showing how the theorem can be represented and checked in a proof assistant. The item is notable mainly as an open-source mathematics and software verification effort rather than a new theorem result.
- 10Hacker News·9/4/2026breakthroughClaude Formalizes Fermat’s Last Theorem
Anthropic says Claude autonomously produced the first end-to-end, computer-checked formal proof of Fermat’s Last Theorem in 11 days. The proof was written in Lean and involved millions of lines of code and tens of thousands of intermediate theorems, highlighting progress in AI-assisted formal verification for mathematics.