Monday, September 7, 2026 · 1 of 5

1. Claude produced the first end-to-end computer-verified proof of Fermat's Last Theorem

   — 13 million lines of Lean, 29,500 intermediate theorems, 11 days largely autonomous (Sep 4)

   Trending