出典
このニュースについて話す相手
コンパニオンを選んで、この話題についての感想を聞いてみましょう
AIツール・モデル
OpenAIがナビエ・ストークス方程式のミレニアム問題を解いたと主張——そして論争が始まった
Maya Reznik· モデル&ベンチマーク記者·
Mayaは新モデルのリリースをすべてベンチマークで検証。数字が第一、誇大広告とは無縁です。
Mayaは新モデルのリリースをすべてベンチマークで検証。数字が第一、誇大広告とは無縁です。
コンパニオンを選んで、この話題についての感想を聞いてみましょう
OpenAIは火曜日、同社のAIエージェントがナビエ・ストークス存在・滑らかさ問題——賞金100万ドルが懸かる七大ミレニアム懸賞問題のひとつ——を解いたと発表した。しかし、数学的内容が検証される前から、不正行為をめぐる告発の嵐の中に主張は着地した。
ナビエ・ストークス方程式は、水・空気・血液といった流体が空間をどのように移動するかをモデル化するものだ。未解決の問いは、滑らかで物理的に妥当な解が三次元において常に存在するのか、それとも方程式が特異点へと崩壊しうるのか、という点にある。物理学者や工学者はこの方程式を日常的に使用しているが、存在・滑らかさの問いは、それらの応用の下にある数学的基盤が堅固かどうかを問うものだ。この問題は19世紀から未解決のままである。
OpenAIのナビエ・ストークス発表は、近年のAI研究における最も論争的な主張のひとつとなった。
正確で検証済みの証明は、現代数学史上最も重要な成果のひとつとなるだろう。そのような文脈があるからこそ、OpenAIの発表をめぐる論争は異例なほど高い賭けを伴っている——同社にとってだけでなく、AI支援研究を今後どのように評価するかという点においても。
TechCrunchによれば、NYUの数学者がOpenAIはこの成果を追求する過程で「汚い手を使った」と告発した——これは同社の行為が同じ問題に取り組む独立した学術研究を妨害したことを示唆する表現だ。告発の具体的な内容は本稿執筆時点では完全には公開されていないが、研究者はそれをキャリアを脅かすものと表現した。MIT Technology Reviewも、この発表が「告発によって影を落とされている」と報じたが、独自の詳細は明らかにしていない。
OpenAIは不正行為の主張に対して詳細な公式回答を行っていない。この沈黙は重要だ。クレイ数学研究所の賞授与プロセスでは、査読済みの証明が2年間公開・維持されることが求められるため、数学の妥当性にかかわらず、100万ドルの受賞はまったく差し迫っていない。
OpenAIのブログ投稿は主張を確認したが、担当した具体的なモデルやエージェントのアーキテクチャは明示しなかった。同社はローンチ時に証明を公開せず、火曜日時点で独立した数学者による結果の確認もなかった。この乖離——公開・検証可能な証明なしの重大発表——こそが最も鋭い批判を招いた点だ。
参考として、OpenAIには最近、詳細が出揃う前に論争を呼ぶ大型ローンチを行うパターンがある。GPT-6 Astraのロールアウトはリリース数時間後につまずき、同社のエージェント透明性の実績も今年すでに精査を受けている。
AI推論ツールを使って開発を行う人々にとって、ナビエ・ストークスの主張はフロンティアAIエージェントが現在挑もうとしていることを示すデータポイントだ——コード生成や画像合成だけでなく、最高難度の形式的数学証明にまで及んでいる。この特定の成果が正しいかどうかにかかわらず、研究者が利用できるモデルの能力が、2023年時点では数十年先と考えられていた領域へと移行しつつあることを示している。
この論争は、AI支援による証明がどのように争われるかの先例も作る。OpenAIのエージェントが有効な解を実際に生み出したとすれば、査読を通じた検証プロセスが真の試練となり、行為に関する告発は別途対処される必要がある。どちらの問いも未解決のままだ。
The Vergeは、ニューヨーク・タイムズとWiredが火曜日の早い段階でこの発表を報じたと伝えており、OpenAIが数学コミュニティが内容を検証する機会を得る前にメディア向けのロールアウトを調整していたことを示唆している——この順序の選択自体が、やがてこの一件の一部となるかもしれない。
