Post

JUST IN: Anthropic's Claude produced the first computer-checked formalization of Fermat's Last Theorem in Lean, closing a problem that stood for 350 years.

This page may contain third-party content, which is provided for information purposes only (not representations/warranties) and should not be considered as an endorsement of its views by Gate, nor as financial or professional advice. See Disclaimer for details.


Add a comment
Add a comment

Comment
CrossChainHauler
21 hours ago
A 350-year-old problem has been solved by AI, and the history of mathematics is about to be rewritten.
0View Original
LiquidationLurker
a day ago
From Fermat’s marginal note to AI formal proofs, the pace of technological iteration is dizzying—what will the next 350 years look like?
0View Original
VolatilityOfToastingBread
a day ago
Claude’s move this time is seriously hardcore—Lean verification means it’s indisputable.
0View Original
QuantSquirrel
a day ago
First Review
Will mathematicians become unemployed in the future? No, they can go prove bigger conjectures.
0View Original
View More