Anthropic AI 'formalizes' proof of Fermat's last theorem in just 11 days
By sbulaev · 2026-09-08 · 5 points · 1 comments
https://www.nature.com/articles/d41586-026-02822-9
By sbulaev · 5 points · 1 comments · on Hacker News, read on BetterNews.
Open the full discussion on BetterNews