AIToday
大規模言語モデルTHE DECODER掲載日時: 2026年10月17日 19:01

OpenAIの証明、手法に不一致

LINEで送る
OpenAIの証明、手法に不一致

3つのポイント

  1. 何が起きたか

    OpenAIは9月上旬、ナビエ・ストークス方程式の166ページにわたる可能的証明を発表し、ディエゴ・コルドバとルイス・マルティネス=ソロアの手法に沿ったと述べた。

  2. なぜ重要か

    公表された手法が証明と一致しなければ、スペイン人数学者らの研究との関連は表面的なものにとどまり、OpenAIが証明のどこまでを実際に説明できるのか疑問が生じる。

誰に効くかまず影響を受けるのは数学者と形式証明の査読者だ。説明された手法が実際の手順と一致しない可能性がある166ページの証明を検証せねばならず、どの着想がどこから来たのかをたどる明確な手段もない。

わからないところ、AIに聞けます

質問と回答はこのページに公開されます。

こういう要約が、毎朝あなたのメールに届きます。

背景と解説

OpenAIのナビエ・ストークスへの取り組みには、異例なほど大掛かりな仕組みが伴った。約1万のモデルインスタンスをおよそ88時間、1300億トークンにわたって動かしたのだ。しかしOpenAI研究者のノーム・ブラウンによれば、その巨大なエージェント群が何に寄与したのかは実際には誰も分かっていない。その規模での挙動は研究されておらず、数千のエージェントで体系的な比較テストを回すのはコストがかかりすぎるからだ。ブラウン自身、成功のうちマルチエージェント構成によるものは10パーセント未満だとし、こうしたシステムは新しく派手で不相応に評価されやすいと述べる。本当に重要なのは、基盤モデルが長期にわたりタスクをやり抜き、並列で動く能力だという。

由来をめぐる問題は別だが関連している。公表前、NYUの数学者トリスタン・バックマスターは、OpenAIが自分とAnthropicのレヴェント・アルプーゲが公開モデルで行った研究の上に築いたと非難し、OpenAIはこれを否定した。高等研究院のカミッロ・デ・レッリスは、決定的な答えを出すのはおそらく不可能だと話す。言語モデルはブラックボックスであり、その同じ不透明さが証明の着想がどこから来たのかを言いにくくしている。

一方で、出力の量がこの分野に負荷をかけている。10月上旬、OpenAIはさらに約400件の結果を緩い集合としてGitHubで公開し、多くの数学者が分野を安っぽくするとして反発した。クレイ数学研究所は公表以来、元の証明を査読してきたが、手法をめぐる論争は、査読が証明の正しさだけでなく、それが実際に何なのかをも決着させねばならないことを示している。

よくある質問
OpenAIはナビエ・ストークス証明について何を主張したか?
OpenAIは、166ページの可能的解法がスペイン人数学者ディエゴ・コルドバとルイス・マルティネス=ソロアの手法に沿ったものだと述べた。
OpenAIの説明に異議を唱えているのは誰か?
EPFLの数学者ゴンサロ・カオ=ラボラを含む複数の専門家グループで、類似は表面的なものにすぎず、実際の手法は異なると指摘している。
OpenAIのマルチエージェント構成は証明にどれだけ寄与したのか?
OpenAI研究者のノーム・ブラウンは、成功のうちマルチエージェント構成によるものは10パーセント未満だとし、基盤モデルの方が重要だと述べている。
LINEで送る

あなたの仕事に関係するAIニュースを、毎朝お届けします。

業界と使っているAIツールを選ぶと、仕事に関係するニュースが毎朝届きます。

登録無料・Googleアカウントなら30秒・いつでも解除できますAITodayについて →

AIに質問

この記事についてわからないことをAIに質問できます。AIはこの記事・AIToday の過去記事・Wikipedia を読み、出典を付けて答えます。Q&Aはこのページに公開され、他の読者も読めます。

質問と回答はこのページに公開されます。

関連記事

「正直であれ」の一言でAIの隠蔽激減

研究チームは欠陥を1つずつ隠した合成作業ログ1,600件をモデルに与えた

NEWTHE DECODER1時間前

Crescendo検証、10往復で成功率84.7%に

Qiita記事がCrescendoを模擬実装で検証し、目的を1回送る単発評価は成功率0.0%、最大10往復・取り消し4回では84.7%になったと報告した

NEWQiita 機械学習1時間前

AgentsViewが60超のエージェントを自動検出

AgentsViewはClaude Code、Codex、Cursor、Copilot、Geminiなど60超のエージェントのローカルログを自動検出し、モデル別・日別にトークン使用量とAPI料金換算の推定コストをグラフ化…

NEWGIGAZINE AI1時間前

ゲノム解読にAIはまだ不十分

Evo 2やGenos、Google DeepMindのAlphaGenomeなどのゲノム基盤モデルはDNA配列から相関を学習するが、エディンバラ大学のWendy Bickmore氏は、すべての細胞種とその経時変化に関す…

NEWWIRED AI1時間前

超知能AI、2030年に専門家超えへ

Deutsche Bank Researchは、超知能AIが2030年までにほぼすべての認知課題で人間の専門家を上回る可能性があり、企業競争と世界経済を変える潜在力があると予測した

NEWYahoo Finance AI4時間前

Microsoft、2兆パラメータのベースモデル公開

MicrosoftのAI研究部門が2兆パラメータのベースモデル「MAI-Base-2」の詳細を公開した

SiliconANGLE AI10時間前
次の記事へCrescendo検証、10往復で成功率84.7%に