Fermat's Last Theorem: Anthropic has beaten me to it (xenaproject.wordpress.com) 1 points by ravenical 9d ago ↗ HN
[–] dang 9d ago ↗ 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!)
2 comments
[ 0.19 ms ] story [ 20.2 ms ] threadhttps://news.ycombinator.com/item?id=49568506
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!)