OpenAIは377の数学的研究問題に関する調査結果を発表したと、同社は2026年10月6日火曜日に公開した「数学におけるAIの進歩の共有」と題したブログ投稿で、ここ数カ月で2回目の数学的大幅な減少となったと述べた。

この結果は代数、理論コンピューターサイエンス、数理論理学に及び、OpenAIが賞金100万ドルが懸けられた世界で最も有名な未解決問題の一つであるナビエ・ストークス方程式の解を主張してからわずか数週間後に到着した。この初期の主張はすでに数学者たちの意見を分かれていました。今週のはるかに大規模なリリースにより、議論はさらに先鋭化した。 AI ニュース速報 をフォローしている読者にとって、このエピソードは、人間が簡単に検証できない機械が生成した結果を研究コミュニティがどのように扱うべきかについて、これまでで最も明確なテストとなっています。

OpenAI が実際にリリースしたもの

The Guardian によると、OpenAI は「代数、理論コンピューターサイエンス、数理論理学などのさまざまなトピックにわたる 370 を超える数学的結果」を公開しました。ニューヨーク・タイムズ紙は問題数を377件と発表したが、ニュー・サイエンティスト紙は、補助的な結果を集計した結果、このリリースには722件の数学的発見が含まれていると報じた。さまざまなカウントは、補題、帰結、および完全な解を個別の「結果」にグループ化するさまざまな方法を反映しています。

観察者を驚かせたのはそのスケールだ。先月の Navier-Stokes の主張には単一の綿密に精査された結果が含まれていましたが、このリリースでは、OpenAI の最も先進的な内部モデルによって生成された、複数のサブフィールドにわたる数百の発見が一度に掲載されました。この記事は 1 日以内にワシントン ポスト、エコノミスト、ウォール ストリート ジャーナル、フォーチュンの報道を集め、OpenAI のブログ投稿は 1,000 をはるかに超える賛成票を獲得してハッカー ニュースのトップになりました。

高等研究所が反発

アインシュタインやフォン・ノイマンといった著名人の長年の本拠地であるニュージャージー州プリンストンの高等研究所は、特に密室で作業が行われる場合、この分野の最も困難な未解決の問題に対してフロンティアモデルをテストする慣行を支持していないと述べた。

同団体は声明で、「AIを促した人間がその議論を理解し、検証し、責任を負うことができない状況でも、AIが数学的な議論を出力できるようになった」と声明で述べた。 「私たちは人間の数学理解が依然として最も重要であると信じています。」

懸念すべきは、結果が必ずしも間違っているということではありません。それは、学問としての数学は検証に依存しており、人間がチェックしていない機械が生成した主張の洪水が、学術的規範に不安を感じているということである。

OpenAI の応答: テーブル席

反発に対処するために、OpenAIは高等研究所と協力して「私たちが前進する方法について数学者に発言権」を与えると発表した。ガーディアン紙は、同社がコミットしていないのは、根本的な慣行への変更であると指摘し、OpenAIは独自の内部モデルでの高度な問題のテストを中止する兆候を示さなかったと述べた。

同研究所の諮問委員会はまた、AI研究所に対し、フロンティアシステムへの「公平なアクセス」を許可するよう求めた。 「AI研究室が数学的研究を行うために独自の内部モデルを使用することは、研究室が他の分野を追い越す2層システムを生み出す危険性があり、事実上、数学コミュニティを独自の専門分野から遠ざけることになる」と同グループは書いている。

「誰かの仕事を引き受けて完成させる」

影響を受ける問題に近い数学者たちは、信用というより微妙な問題を提起している。ナビエ・ストークス問題に取り組んでいたニューヨーク大学の数学者トリスタン・バックマスター氏は、研究者がAIモデルにプロンプ​​トを出し、モデルが完成する部分的な進歩を提供している可能性があるとニューヨーク・タイムズに語った。

「彼らが誰かの作品を受け取り、それを完成させることで、大量の結果が得られる可能性が高い」とバックマスター氏は語った。

正確であれば、その力関係は帰属と評価の両方を複雑にします。独立した機械の画期的な進歩のように見える成果は、実際には、人間が決して引き渡すことに同意しなかった人間が組み立てた足場の最後のステップである可能性があります。

AI 研究にとっての意味

数学のリリースは、フロンティアラボの能力を示す繰り返しのショーケースとなり、科学が機械の出力をどのように吸収するかについての繰り返しのストレステストになりつつあります。ウォール・ストリート・ジャーナルの記事は、むち打ち症を捉えたものでした。AI が数学の問題を 1 つ解決すると、誰もが慌てふためきましたが、現在ではさらに数百の問題を解読しています。

3 つの質問が次に起こることを形作ります。まず検証です。独立した数学者が 377 件の結果の一部をチェックするだけでも数か月かかり、エラーが見つかった場合、OpenAI の信頼性に大きな打撃を与えることになります。第二に、アクセス: 研究室が研究所の要求に応じて最強のモデルを外部の研究者に公開するか、ループを閉じたままにするか。第三に、優先順位: バックマスター氏の懸念が示唆するように、この分野では人間と AI の協力的な証明をクレジットするための新しい規範が必要になる可能性があります。

ガーディアン紙によると、OpenAIは批判に関するコメントの要請に応じなかった。高等研究所との提携が実行可能な規範を生み出すのか、それとも単に意見の相違を文書化するだけなのかによって、数学がフロンティア AI 進歩の主要なベンチマークであり続けるか、それとも数学に正式に抵抗する最初の分野になるかが決まる可能性が高い。

AI の先を行く AI Buzz Wire で AI ニュースをもっと読む