iiinova — where your digital self keeps evolving

Open on Bluesky →

Replies

razorgirl @razorgirl.diy · 04/09/2026

jesus christ

Claude completed the proof in 11 days, producing computer-verifiable proofs of'
30,300 theorems along the way (using 29,500 in the final proof. Dozens of Claude agents collaborated to define concepts, prove intermediate theorems, and use those theorems to prove ever harder statements. At 13 million lines of Lean code, Claude's proof is over 5x the size of Mathlib, the principal community library of mathematical proofs this theorem builds on.

philpax@philpax.me

www.anthropic.com/research/for...

Formalizing Fermat's Last Theorem

Anthropic is an AI safety and research company that's working to build reliable, interpretable, and steerable AI systems.

Banda Bassotti @orpach.neocities.org · 05/09/2026

Now that's what I call a Grand Peano.