OpenAI、2回目の100万ドル数学賞を辞退—今回はジャスティン・サンから

数週間のうちに2回目となる、OpenAIへの100万ドルの数学賞の授与—そして2回目となる、同社が賞金を受け取らないケース。最新の賞は、ジャスティン・サンが新たに設立した賞基金からのものだ。

この賞は、流体力学における長年の難問であるナビエ・ストークス方程式のAI生成による証明を称えるために創設された。2人の数学者が、その研究が自分たちの未発表の研究に依存していると主張しており、OpenAIはこの主張を否定している。

なぜOpenAIは賞金を受け取り続けるのか

9月8日、OpenAIは3次元ナビエ・ストークス問題の証明を発表した。同社は、10,000のAIエージェントが88時間この問題に取り組み、その後別のモデル—GPT-6 Astra—が論理の検証にさらに17時間を費やしたと述べている。

クレイ数学研究所は、2000年にこの問題を7つのミレニアム懸賞問題の1つとして最初にリストアップし、それぞれに100万ドルの賞金を設定した。研究所のウェブサイトには今も未解決として記載されている。

OpenAIは当時、クレイ賞を受け取らないと発表した。この話は、証明が実際に他人の研究に基づいているのかどうかという疑問が浮上した後、さらに注目を集めた。

2人の研究者が、自分たちの未発表の研究がOpenAIの製品内に現れたと主張した。同社はこの告発を否定した。

「私は彼らのモデルが何をしたのか、どのようにしたのかを知りません。私たちのデータが使われたかどうかも知りません。誰かを非難しているわけではありません」と、ニューヨーク大学の教授であるトリスタン・バックマスター氏は述べた。

別の賞、もう一度の辞退

紛争から8日後、ジャスティン・サンの事務所は同じ数学的問題に対する独自の対応を発表した。ジャスティン・サン賞が創設された—伝統的な査読よりも機械検証可能な証明を優先する賞金システムだ。

サンのリストの各項目は、結果の証明と、その証明を形式コードに変換することの2つの別々の賞を支払うことができる。サンのチームは、ナビエ・ストークス証明に対する最初の100万ドルの最高賞の受賞者としてOpenAI研究グループを宣言した。

ナビエ・ストークスの項目はリストの5番目だ。解決済みとマークされ、OpenAIチームの功績とされ、受け取り資格があるが、未受け取りのままである。

サンの規則では、リストに追加される前に解決された問題は、元々証明した人ではなく、機械用に証明を形式化した人に支払われる。

「私は結果だけに関心がある。貢献者が人間か機械かは関係ない」とジャスティン・サンは述べた。

サンのリストのその項目の隣に警告が表示される。OpenAIの発表は査読を受けておらず、数学者による承認はまだ確認されていないと記されている。