| ▲ | Fermat's Last Theorem: Anthropic has beaten me to it(xenaproject.wordpress.com) | |
| 39 points by ravenical 21 hours ago | 2 comments | ||
| ▲ | dang 21 hours ago | parent | next [-] | |
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!) | ||
| ▲ | ChrisArchitect 21 hours ago | parent | prev [-] | |
Discussion: | ||