NYUの数学者がナビエ・ストークス問題をめぐりOpenAIの「汚い手口」を告発

数学界では、世界的に有名なナビエ・ストークス方程式の滑らかな解の存在をめぐる百年来の難問をめぐり、新たな嵐が巻き起こっている。ニューヨーク大学のある数学教授が、OpenAIはこの100万ドルの懸賞問題の解法競争において「汚い手段（fought dirty）」を用いたと公然と非難した。この発言は、人工知能と純粋数学の交差領域においてたちまち大きな議論を引き起こした。

100万ドルの懸賞がかかった世紀の難問

ナビエ・ストークス方程式は流体運動を記述する基本方程式であり、その存在性と滑らかさの問題は「ミレニアム懸賞問題」の一つとしてクレイ数学研究所が100万ドルの賞金をかけている。1850年代に提唱されて以来、無数の一流数学者がこの問題に心血を注いできたが、いまだ完全な解答は得られていない。最初に解決した者は巨額の賞金を獲得するのみならず、揺るぎない学術的地位を確立することになる。それゆえこの命題は「キャリアを築き得る数学問題」と称されている。

告発：OpenAIは何をしたのか？

TechCrunchが独自に入手した情報によると、匿名を求めたこのNYUの数学者は、OpenAIの研究チームがこの難問の解決に向けたラストスパートにおいて、圧倒的な計算能力と非公開の内部モデルを活用し、「解答に近づいた」と主張するプレプリント論文を先んじて発表したと述べている。しかし、論文中の重要な補題は十分な査読を経ておらず、非公開の私的なやり取りから得たアイデアを出典を明示せずに「流用」したと指摘されている。この数学者は「数学研究は透明性と相互信頼の上に成り立つべきだが、彼らのやり方は力ずくで宝庫をこじ開けながらルールを守らないようなものだ」と率直に語った。

「これは学術競争ではなく、略奪に近い——彼らは計算能力で厳密な検証プロセスを踏みにじった。」 —— NYUの数学者

OpenAI側はこれらの告発に対してまだ正式に回答していないが、内部事情を知る関係者によれば、チームは自分たちが完全に規則に従っていると考えており、この問題の解決に向けたいかなる努力も奨励されるべきだと述べているという。現在、このプレプリントは数学界で複数回にわたる疑義を引き起こしており、一部の研究者はOpenAIに完全な導出ログと再現性の証明を公開するよう求めている。

AIと学術競争の倫理的境界線

今回の論争は、より深層にある問題を浮き彫りにしている。AIが最高峰の知的挑戦に参加し始めたとき、従来の学術規範は依然として適用されるのか？近年、AIは数学的推論において顕著な進歩を遂げており、不等式の証明補助、新定理の発見、さらにはラングランズ綱領の予想に対する検証経路の提示なども行われている。しかし、AI主導の科学研究には「ブラックボックス」という特性がある。モデルが非公開データに暗黙的に依存していないか？真の説明可能性を備えているか？こうした問題は、巨大な経済的利益という動機のもとで急速に深刻化している。

複数の研究者は、競争的科学研究へのAI参加に関する倫理指針を早急に策定すべきだと訴えている。その内容としては、アルゴリズムの透明性、リソースの公平性、および検証メカニズムが挙げられる。そうしなければ、百年前の「数学紳士運動」が計算能力の軍拡競争へと変質し、真の数学的天才が資本とテクノロジー大手の影に覆われてしまいかねない。

編集後記

告発の真偽にかかわらず、この騒動は私たちに一つのことを思い起こさせる。テクノロジー大手が歴史的な栄誉を追い求める際には、「実力のみで勝利する」という公平原則に従っていることを証明しなければならない。オープンソースと再現可能性は、科学的進歩における「第一原理」であり続ける。もしOpenAIが疑惑を晴らせないならば、たとえナビエ・ストークス問題を制したとしても、より貴重なもの——学術コミュニティの信頼——を失うことになるだろう。

本記事はTechCrunchより編訳。