Anthropic company blog
Formalizing Fermat's Last Theorem
Anthropic is an AI safety and research company that's working to build reliable, interpretable, and steerable AI systems.
- Points
- 773
- HN comments
- 512
- Submissions
- 1
- Cited by
- 3 commenters
Math & AlgorithmsSoftware Engineering2026
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Sep 4, 2026 | Formalizing Fermat's Last Theorem by jlebar | 773 | 512 |
Cited in comments
Linked from 3 Hacker News comments by 3 different people, from Sep 2026 to Oct 2026.
Most recent:
