#proof Tech News.
1 story in the last 7 days
The latest proof news, distilled by AI into sharp ~100-word summaries. ByteBrief tracks proof across dozens of tech sources and brings you only what matters, updated hourly. Tap any story for the full brief, or open the original source.
AITechRadarabout 4 hours ago
Anthropic's Claude Formalizes Fermat's Proof in 11 DaysAnthropic used its Claude AI to produce a fully computer-checked version of Fermat's Last Theorem. The company says the task, expected to take years, was completed in 11 days of largely unsupervised work. The finished proof runs to 13 million lines of Lean code, proving roughly 30,300 separate theorems along the way.
Summaries by ByteBrief