- undercat2026-09-05
费马大定理：
原文：Formalizing Fermat’s Last Theorem \ Anthropic
主楼 - fuermo2026-09-05
作者的博客，里面有一些背景故事:
Xena – 4 Sep 26
FLT: 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…
The Anthropic post claims the proof used 6 billion output tokens. At the API price, that would be $300,000.
根据推测大约用了30万刀的API