Hacker News
new
top
best
ask
show
job
Anthropic AI 'formalizes' proof of Fermat's last theorem in just 11 days
(
www.nature.com
)
5 points
by
sbulaev
3 hours ago
1 comment
toomuchtodo
2 hours ago
Formalizing Fermat's Last Theorem
-
https://news.ycombinator.com/item?id=49568506
- September 2026 (509 comments)