Anthropic AI 'formalizes' proof of Fermat's last theorem in just 11 days

(nature.com)

6 points | by sbulaev 11 hours ago ago

1 comments

$toomuchtodo 10 hours ago

Formalizing Fermat's Last Theorem - https://news.ycombinator.com/item?id=49568506 - September 2026 (509 comments)