Claude formalized Fermat's Last Theorem in 11 days
By fourfire · 2026-09-07 · 2 points · 1 comments
https://www.anthropic.com/news/formalizing-fermats-last-theorem
By fourfire · 2 points · 1 comments · on Hacker News, read on BetterNews.
Open the full discussion on BetterNews