AI Daily Digest — September 6, 2026: Claude Formalizes Fermat's Last Theorem, Astra Reaches Every Coding Tool

Claude formalized Fermat's Last Theorem: 11 days, 13 million lines of Lean, zero human shortcuts Anthropic announced on September 4 that Claude produced the first complete computer-checked proof of Fe