首頁 / 查證簿 / EP40

節目

EP40 查證了這些說法

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

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

Anthropic 官方公告EP40 ·

Claude 代理完成史上第一個完整的費馬最後定理 Lean 形式化證明

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

Anthropic 官方公告EP40 ·