Claudeが1300万行のコードを書いてフェルマーの最終定理を検証した。
Anthropicは9月3日、Claudeがフェルマーの最終定理の初の計算機検証済み証明を作ったと発表した。数十のClaudeエージェントが11日間で3万300個の補助定理を証明した。数学者は数年かかると考えていたが、Anthropicも証明は必要以上に長いと認めている。
なぜ重要か大きな証明の検証はこれまで人手の遅い作業で、そこを機械が引き受けられるようになった。同じやり方はコードや安全性の主張の検証にも使える。
アプリで読む——無料・9言語
関連ニュース
グーグルのAIエージェントが27時間でマイクラを自力クリア2026-10-19AIエージェント、返金のため議員に50回メールを送る実験結果
2026-10-19Anthropic社員、仕事の75％をAIが担うと予想
2026-10-18中国のAIモデル、自分の将来の訓練について考えていたと判明
2026-10-17OpenAI、米大学の研究室に生物学AIを1年間無料で提供
2026-10-17