AI
Anthropic AI 'formalizes' proof of Fermat's last theorem in just 11 days
Article URL: https://www.nature.com/articles/d41586-026-02822-9
Comments URL: https://news.ycombinator.com/item?id=49604319
Points: 5
# Comments: 1
Read the full discussion on HackerNews
This article was aggregated from HackerNews. Click to join the conversation.
View on HackerNews