3 stories tagged fermats-last-theorem, newest first.
142 points by stabbles | 122 comments
A Xena Project blog post by a mathematician reflecting on whether to grieve as AI advances in formalizing mathematics in Lean, following a post about Anthropic and FLT.
743 points by jlebar | 479 comments
Anthropic research post on formalizing the proof of Fermat's Last Theorem, apparently using Claude, with a linked Xena Project blog response.
422 points by verbify | 206 comments
Kevin Buzzard's Xena Project blog post giving a progress update on formalizing the proof of Fermat's Last Theorem in the Lean theorem prover.