「AIが数学の超難問を解いた」——そう聞くと、素直にすごいと思ってしまいますよね。2026年9月8日、OpenAIは数学の7大難問「ミレニアム懸賞問題」の一つ「ナビエ・ストークス方程式」について、その一部を自社の次世代AIが解決したと発表しました。約1万体のAIエージェントを88時間並行して働かせ、1300億トークンという途方もない計算量を使ったといいます。
ですが話はここで終わりませんでした。発表の直前、同じ問題に取り組んでいたニューヨーク大学の数学者が「経緯が事実に反し、扇動的だ」とする声明を公開したのです。争点は、OpenAIが相手チームの研究の進み具合を何らかの形で知った直後にAIへ指示を出した可能性や、両チームが極めてまれな同じ手法にたどり着いた不自然さ、そして学習データの流用疑惑です。OpenAI側は疑惑を完全には否定できないとしつつ、著者から外すよう求めたことはないと反論しています。
ここで押さえておきたいのが、「証明」という営みの性質です。数学の証明は、実験のように何度も試して確からしさを高めるものではなく、論理だけで導かれる分、一度正しいと確立されれば覆らない確実性を持つとされています。だからこそ「本当に正しく導かれているか」を他者が独立に確かめる手続きが欠かせません。これは科学的方法が実験結果の再現性を重んじるのと同じ発想です。AIが「できた」と主張した瞬間に真実が確定するわけではなく、数学コミュニティによる検証を経て初めて、その主張は「証明」の名に値するものになります。
計算力がどれほど強力になっても、「本当に正しいか」を確かめる手続きの重みは変わらない——今回の一件は、AIの時代にこそこの原則を思い出させてくれます。