Fermat's Last Theorem: Anthropic has beaten me to it
ravenical
37 points
2 comments
September 04, 2026
Related Discussions
Found 5 related stories in 59.3ms across 5,564 title embeddings via pgvector HNSW
- Fermat's Last Theorem in Lean 4 aaraujo002 · 83 pts · September 04, 2026 · 66% similar
- Formalizing Fermat's Last Theorem jlebar · 565 pts · September 04, 2026 · 64% similar
- Some thoughts about Anthropic's new cryptanalysis results supermatou · 129 pts · July 29, 2026 · 56% similar
- OpenAI says it has overtaken Anthropic with its latest AI model pboulos · 16 pts · September 03, 2026 · 54% similar
- Anthropic found a hidden space where Claude puzzles over concepts pseudolus · 14 pts · July 12, 2026 · 52% similar
Discussion Highlights (2 comments)
ChrisArchitect
Discussion: https://news.ycombinator.com/item?id=49568506
dang
Related ongoing thread: Formalizing Fermat's Last Theorem - https://news.ycombinator.com/item?id=49568506 - Sept 2026 (177 comments) Discussion of Kevin's post in the top subthread: https://news.ycombinator.com/item?id=49568667 (I'd much prefer the xenaproject link to be the #1 on HN but it seems fair to give Anthropic their due in this case!)