Market cap$2.96T-0.0%
Volume 24h$134.8B
BTC dominance58.5%
USDT.D7.07%+0.00
Fear & Greed73 · greed +3
Terminal
News #Fermat's Last Theorem

Fermat's Last Theorem News

All stories on this topic · 1 posts

In-Crypto has one story on Fermat's Last Theorem 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#formal proof#Lean
×