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

What happened

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…

Summary assembled by rule from the sources below

Timeline

1. 19:11
   First appeared on LobstersLLobsters
2. 21:00
   Discussion started on Hacker NewsHHacker News

Sources