- OpenAIは、内部モデルが指数時間仮説を反証したと述べている。この仮説は数百のコンピュータサイエンス論文の基盤となっている。
- 同ラボは、この仮説の元提案者らおよびMITのライアン・ウィリアムズ氏を招き、検証にあたらせた。
- これらの研究者らは、OpenAIの直近のエ尔德シュ過大評価や論争のあるナビエ-ストークス方程式の証明、そして符号誤りにより撤回された3つのプレプリントを理由に、検証済みとは呼ばないとしている。
OpenAIが任命した科学者たちは、その内部モデルの一つが指数時間仮説を成功裡に反証したとする最新の主張を検証するよう求められたが、その主張を支持することを拒んだ。彼らは、同ラボの数学に関する発表は誇張されがちであり、過去の論争を指摘している。
アルトマン率いるラボが 解決したと主張する指数時間仮説は、ブール値充足可能性の問題の難しさを測るものであり、P対NP問題に関連し、数百のコンピュータサイエンス論文の基盤となっている仮説である。
MITのライアン・ウィリアムズ氏と、UCサンディエゴのラッセル・インパガッツォ氏およびラムモハン・パトゥリ氏は、インパガッツォ氏とパトゥリ氏、さらにフランシス・ザンによって最初に提案された仮説に関する結果を独立して検証するグループを率いる。
数学界はOpenAIのETH主張を受け入れていない
その主張を検証するグループを率いる3人の研究者 公開書簡の中で 「我々の関与がこの主張の認証と見なされてはならない」と述べてから、「この重要性を持つ結果には、慎重で独立した検証が必要である」と付け加えた。
X（旧Twitter）アカウントで投稿し、 現在課せられているおよび最近発表された関税は、今後数ヶ月でインフレを引き上げると予想され、FRBの慎重なアプローチを正当化しました。 グループは秘密保持契約（NDA）に署名しておらず、OpenAI内部モデルが「ETHの反証」を主張する結果を生み出した後に行われた「オープンで独立した調査」作業に対して彼らと彼の同僚たちが報酬を得ることもないこと
ウィリアムズはさらに述べた OpenAIは同意した 結果の背後にあるすべての生データを公開するという要求に。また、AIラボはその影響に関する会議の資金提供にも合意した。
なぜ証明なしにOpenAIの主張に学界が支持しないのか
過去のOpenAIの 数学分野における主張 計画通りにいっていない。独立した研究者チームは、OpenAIの主張を独自に検証している。ラボが10月16日にLeanで内部モデルによる反証を確認した後でも、翌日にはその主張が否定された。書き起こしとLeanによる証明はGitHubに公開されている。
Leanは機械による証明を検査する言語である。しかし、その手法でさえも ケンブリッジ大学のアンダース・ハンセン氏とその共同著者たちによって 論文の中で Leanで検証された形式化はコンパイルできるものの、それが表すべき自然言語での証明と一致しない場合があることが指摘された。彼らはこれを OpenAIのナビエ-ストークス方程式に関する 研究事例として取り上げた。
エルデシュ問題サイトを管理している数学者トーマス・ブルーム氏は、OpenAI副社長のケビン・ウェル氏が2025年10月に「GPT-5がこれまで解けなかったエルデシュ問題を10個解決した」と発表した主張に対し、「劇的な誤りだ」と応じた。
ブルーム氏は、モデルがポール・エルデシュによって提示された有名な未解決問題に対する新しい解を見つけたのではなく、彼が個人的に知らなかった既存の論文を単に表示しただけだと説明した。
この出来事は、Metaのヤン・レクン氏やGoogle DeepMindのデミス・ハサビス氏から公に嘲笑されることとなった。
OpenAIは10月6日、722件の数学問題に関する372本のプレプリントを一斉に公開した際、ある論証とそれに依存する2つの論文を無効にする符号ミスがあったため、1日以内に3回の撤回を行わざるを得ませんでした。同ラボはさらに14本を改訂しました。コーネル大学の数学者であるアレックス・タウンゼンド氏は、時間とともにさらに多くの誤りが明らかにされることを予想しています。
そして ナビエ-ストークス方程式のドラマ 9月には、数学者のトリストン・バックマスター氏が、OpenAIがナビエ-ストークス方程式の問題を解決したと発表した際、彼と共同研究者がすでに着手していた手法を使用したと主張していました。
OpenAIはこの主張を否定しました。
2つの追加結果と3つのリリース戦略
ETH（スイス連邦工科大学チューリッヒ校）は、同じ発表の中でOpenAIが主張した3つの成果の一つでした。
数学分野において、OpenAIはモデルがクリストファー・ソゲ氏が1991年に提唱した局所平滑化予想をすべての次元で証明したと述べており、これはカケヤ予想およびスタインの制限予想も同時に解決することになります。ラボは解説文とLeanによる証明を公開しました。
物理学において、モデルは4次元で特定の量子場理論が存在することを証明し、クレイ数学研究所のミレニアム懸賞問題の一部も含まれている。ノーベル賞受賞者であるデヴィッド・グロス率いるグループは、現在AI関連資料を公開せず、研究自体を論文としてまとめることを選んだ。
OpenAIは学術的なクレジットを求めておらず、AIが生成した結果に関するワークショップのためにサイモンズ財団に500万ドルを提供している。同社は3つのリリース手法それぞれにトレードオフがあることを認め、何が機能するかについてのフィードバックを求めている。
最も賢明な暗号通貨の専門家たちはすでに私たちのニュースレターを読んでいます。あなたも参加しませんか？ 彼らに加わりましょう。
よくある質問
指数時間仮説（ETH）とは何か？
これはブール充足可能性の問題を解く難しさに関する推測であり、P対NP問題と密接に関連している。グラフ理論、計算生物学、その他の分野における数百の論文が、特定の問題を迅速に解決できないことを示すためにこの仮説を用いてきた。
OpenAIのETH主張を検証しているのは誰か？
UCサンディエゴのラッセル・インパガッツォとラムモハン・パトゥリ、そしてMITのライアン・ウィリアムズからなるグループ（うち2名がETHを共同提案した）は、報酬や秘密保持契約なしで独立した検証を行うことに合意した。
なぜ数学者たちはOpenAIの結果に対して慎重なのか？
最近のトラブルのため：2025年10月にエルトーシュ問題に関する主張が過大評価されたこと、6月6日に722ページの原稿を公開した翌日に符号ミスにより3本のプレプリントが撤回されたこと、そしてOpenAIが他の数学者の影響を受けていないと否定したナビエ-ストークス方程式の証明をめぐる論争。
ハンナ・コリーモア
Hannahは、暗号通貨分野でほぼ10年にわたるブログ執筆およびイベントレポートの経験を持つライター兼編集者です。Cryptopolitanでは、ニュースページに寄稿し、DeFi、RWA（実世界資産）、暗号通貨規制、AI、フロンティアテック業界の最新の動向を報告・分析しています。アーケディア大学でビジネス経営の学位を取得しています。
