Anthropic AI 'formalizes' proof of Fermat's last theorem in just 11 days
1mo
5
1
- Published
- Collected
Read the full article at news.ycombinator.com
overfeed.news indexes and links. We publish a short excerpt — the full article stays at Hacker News (AI).
