Fermat's Last Theorem: Anthropic has beaten me to it

2 comments

• $dang an hour 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!)

• $ChrisArchitect an hour ago

  Discussion:

  https://news.ycombinator.com/item?id=49568506