說法

「動用數十個 Claude 代理、約 60 億輸出 token」

— Anthropic 官方公告

未證實

這對你的意思是

規模數字只有 Anthropic 自己的說法，引用時要加上「官方表示」。

屬實部分屬實誇大未證實

查到了什麼

兩個數字都只能回溯到 Anthropic 自己的公告。

「未證實」：查不到獨立證據。不代表是錯的。判定方法

anthropic.comhttps://www.anthropic.com/research/formalizing-fermats-last-theorem

同一集

這是 AI 幫忙把既有證明交給機器驗證，不是 AI 自己發現了新數學。