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

发生了什么

I guess technically it was revealed to the world by a coffee shop in Islington on Insta, but an hour later it was officially announced by Anthropic: one of their internal models, using the prove2.m…

摘要按规则整理自下方来源原文

时间线

1. 19:11
   Lobsters 最先出现LLobsters
2. 21:00
   Hacker News 出现讨论HHacker News

来源