Market cap$2.94T-0.4%
Volume 24h$123.0B
BTC dominance58.5%
USDT.D7.04%-0.03
Fear & Greed73 · greed +3
Terminal
News #formal proof

Formal proof News

All stories on this topic · 1 posts

In-Crypto has one story on formal proof so far, published September 6, 2026. Section: Technology. Often covered alongside AI agents, Anthropic, Claude.

Technology· Claude AI Formalizes First Computer-Verified Proof of Fermat's Last Theorem in 11 DaysAnthropic says its Claude agents created the first fully computer-verified formal proof of Fermat's Last Theorem in just 11 days, using Lean.

Related topics

#AI agents#Anthropic#Claude#Fermat's Last Theorem#Lean
×