OpenAIの数学的ブレークスルーは信頼できるのか？数学maticたちは不正を訴える

OpenAIは、マサチューセッツ州ケンブリッジにあるクレイmatic研究所（CMI）の科学諮問委員会が宣言した7つのミレニアム懸賞問題の一つである、ナビエ・ストークス方程式の存在と滑らかさの問題を解決したと主張している。しかし、より困難な問題は、この巨大AI研究所の手法にますます懐疑的になっている一般の人々を納得させることかもしれない。.  

OpenAIは、私たちの生涯で最も難解な未解決matic問題の一つを解決した直後、2人のmatic者から、彼らの未発表の研究が何らかの形で研究所の解答に役立ったのかという質問を受けることになった。.

しかし、この騒動が公に展開されるにつれ、OpenAIは世間の認識においてやや後れを取っている。 これは、1兆ドル規模のAI研究所が、 不正なエージェントによるセキュリティ侵害 に関する内部的な「安全対策の見直し」に リスク管理 を呼ぶ2人の学者と対立している状況を考えれば、当然のことと言えるだろう。 と、関与し、しかも、共感

OpenAIは一体どんな数学問題を解決したのか？ 

サム・アルトマン率いるAI研究所は、滑らかで最初は静止している流体が、滑らかな力の下では際限なく加速し、有限時間内に崩壊するという証明と、リーン証明言語で機械検証可能なバージョンを作成したと発表した。. 

OpenAIは、この研究は最近リリースしたGPT-6 Astraモデルよりも高性能な社内モデルによって行われたと主張しており、クレイmatic研究所が2000年に挙げた7つの100万ドル規模の難問のうちの1つを解決するものである。.

OpenAIの研究責任者であるマーク・チェン氏によると、CMIが提供する100万ドルの賞金よりも多くの計算費用をOpenAIが費やしたという。 セバスチャン・ブベック氏は、一時は約1万のエージェントがこの問題に取り組んでいたと述べた。 

クレイ研究所は、OpenAIの証明をまだ正式に認めていない。同研究所は、賞の選考対象となるためには、解答が認定された媒体に掲載され、2年間一般に公開され、matic者の間で広く受け入れられることを条件としている。. 

特筆すべきは、OpenAIが既に 賞金を求めない。

OpenAIはチャットログの中でmatic者の研究成果を利用したのか？ 

OpenAIの取り組みに関する主な議論は、数学的な内容そのものに関するものではない。真の争点は、ニューヨーク大学のトリスタン・バックマスター氏と、Anthropic社に雇用されているmatic者レベント・アルポーゲ氏が、OpenAIのCodexを含むAIモデルに入力した情報が、不正に流用されたかどうかにある。. 

トリスタンは、AI研究所がナビエ・ストークス方程式の難問を解くために主要な計算能力を投入したことを初めて聞いたとき、研究所の研究者たちに直接、自分とレベントのCodexセッションが利用されているかどうかを尋ねた 。

数学らしいことにmatic、トリスタンは証拠なしに非難することは避け、 「私たちのデータが使用されたかどうかは分かりません」と 公式声明で述べた。

しかし、同じ文書は、OpenAIが、OpenAIの内部モデルによる解決策を発表する際に、レベント氏の名前を削除することを含む「提案」を流布したと非難していた。. 

その後、ブベックは この主張を否定し、Xに「私はレベントを自身の作品の著者から外すよう求めたことは一度もない」と書き込んだ。 

いくつか明確にしておきたい点があります。

1) このスクリーンショットは、リリースの調整のために私がレベントに連絡を取った時のものです。メッセージから、私たちが最善の意図を持って臨んだことが伝われば幸いです。.

2) 私はレベントが自身の作品の著者から外されることを一度も要求したことはありません… pic.twitter.com/yRli0hLNuM

— セバスチャン・ブベック (@SebastienBubeck) 2026年9月8日

サム・アルトマンも自身のチームを支持する発言をした。.

ありそうもないが不可能ではない、とtronだけでは懐疑論者にとって十分な否定にならない。

OpenAIの基本的な弁明は単純明快だ。同社の社員もエージェントも、この二人の指示、下書き、ユーザーデータを見たことはなく、作品が公開されてから初めてその内容に触れたというものだ。. 

しかし、同社は自社のブログ記事の中で、レベント氏自身が指摘した一文を追加した 。「可能性は低いものの、当社製品の使用から得られた可能性は否定できないdent」。化データが、当社のモデルの改善に役立った

「正直に話してくれた彼らに拍手を送りたい」と レベントは投稿した。 

トリスタンの証言は、OpenAIの主張を複雑にするものだ。彼は当初、「人間の介入はほとんどない」と説明されたと述べているが、電話でのやり取りの中で、実際にはチーム全体が関わっており、より簡単な問題から先に取り組まれ、彼に示されたプロンプト自体もCodexにプロンプ​​トを与えることで生成されたものであることが明らかになったという。. 

彼は、このプログラムの根幹を成す功績を、いかなるAIにも帰属させるのではなく、maticのディエゴ・コルドバとルイス・マルティネス＝ゾロアに帰し、この瞬間をチェス界における「ディープ・ブルー対カスパロフ」の転換点と呼んだ。.

トリスタンは訴訟を起こしていない。OpenAI は 、自社の証拠は両者の証拠とは大きく異なり、証拠作成にあたってユーザーデータは一切使用していないと主張している。 

競合する研究ツールを開発する企業が所有するAIシステムを通して研究が進められるにつれ、より難しい問題は、完成したアイデアの所有権が誰にあるのかではなく、プラットフォームに入力された情報をどのように扱うことが許されるのか、そして事後的に誰がその影響力を証明できるのか、ということになってきている。.