Formalizing Fermat's Last Theorem
By jlebar · 2026-09-04 · 201 points · 115 comments
https://www.anthropic.com/research/formalizing-fermats-last-theorem
By jlebar · 201 points · 115 comments · on Hacker News, read on BetterNews.
Open the full discussion on BetterNews