OpenAI、ミレニアム懸賞問題「ナビエ・ストークス方程式」をAIが解決したと発表 数学者は経緯に反発

OpenAI は社内の未公開モデルがミレニアム懸賞問題の一つ「ナビエ・ストークス方程式の特異点発生」を証明したと9月に発表しました。1万個のエージェントを88時間並行して動かし、Lean による形式化も公開した。計算コストは数百万ドル規模です。一方、ニューヨーク大学の数学者バックマスター氏は、自分たちの研究が OpenAI に伝わった数日後に取り組みが始まったこと、手法が同じであることを指摘し、疑念を公表しました。OpenAI のセバスチャン・ブベック氏は「事実に反し扇動的」と反論。成果の妥当性と発表に至る経緯の両方が論争の的になっています。

企業の AI 成果発表が、なぜこうも簡単に信頼を失うのか。理由は「黒箱の中で何が起きたか」が本質的に検証不可能だからです。OpenAI は「ユーザーデータを参照していない」と言い、「学習データについては言及できない」と逃げる。数学という本来なら証明で全て決まる分野でさえ、「このコードは誰が書いたのか」「先行研究を見ていたのか」という前段階で議論が止まってしまう。LLM に何かを解かせたとき、その過程が追跡不可能なら、幾らコストをかけても「信用できる成果」にはなりません。これは AI 企業が直面する構造的な問題です。

外部の AI 企業に大事な仕事を依頼するなら、「どうやってそれを作ったか」の過程が見えるかを確認してください。ブラックボックスのままでは、後で「実は…」という話が出てきたとき、取り返しがつきません。