Anthropic 用 AI 在 11 天內證明費馬大定理

anthropic 的 claude AI 系統僅在 11 天內便正式證明了 fermat 最後定理。該證明由 1300 萬行程式碼組成,並經電腦驗證。這項成就展現了 AI 在數學研究與發現上的潛力。在數學中運用 AI 有助於加速發現的步伐,並帶來新的見解。fermat 最後定理是數論中的一個基本概念,最早由 pierre de fermat 於 1637 年提出。