AI研究筆記
首頁 / 查證簿 / Anthropic
說法

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

— Anthropic 官方公告
屬實
這對你的意思是

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

屬實部分屬實誇大未證實

查到了什麼

另一個形式化計畫的主持人、帝國理工學院數學家 Kevin Buzzard 證實。這不是新數學，是把 1995 年的既有證明交給機器驗證。

「屬實」：兩個以上彼此獨立的來源確認。判定方法

依據來源

  1. anthropic.comhttps://www.anthropic.com/research/formalizing-fermats-last-theorem
  2. thenextweb.comhttps://thenextweb.com/news/anthropic-claude-fermat-last-theorem-lean-buzzard
  3. techbriefly.comhttps://techbriefly.com/2026/09/07/claude-completes-computer-checked-proof-fermat-last-theorem/
同一集

其他查證

未證實

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

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

Anthropic 官方公告EP40 ·