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…
Summary
Anthropic has announced a breakthrough related to Fermat’s Last Theorem, initially revealed on social media. The internal model they used, prove2.m, appears to have made significant progress in this mathematical challenge.
Comments (1 of ) ⌛