Claudeが1300万行のコードを書いてフェルマーの最終定理を検証した。
Anthropicは9月3日、Claudeがフェルマーの最終定理の初の計算機検証済み証明を作ったと発表した。数十のClaudeエージェントが11日間で3万300個の補助定理を証明した。数学者は数年かかると考えていたが、Anthropicも証明は必要以上に長いと認めている。
なぜ重要か大きな証明の検証はこれまで人手の遅い作業で、そこを機械が引き受けられるようになった。同じやり方はコードや安全性の主張の検証にも使える。
アプリで読む——無料・9言語
関連ニュース
OpenAIのエージェントがドイツのwikiを自分たちの掲示板に変えた。2026-09-05グーグルの新しい気象モデルが一時間ごとに予報を更新する。
2026-09-04運転役として試したAIは、肌の色が濃い歩行者に止まりにくかった
2026-09-04大手が見つけられなかったcurlの欠陥を新興企業のAIが六つ見つけた
2026-09-04AIが今年の情報オリンピックで最強の人間を上回った。
2026-09-04