OpenAI、数学論文722本公開 数学者が反発する理由

📑 目次

1. OpenAIが公開した722本の中身
2. 「解いた」と「正しいと確認された」は別のこと
3. OpenAI広報の説明と公開の進め方
4. Wiredが伝えた数学者との会合と食い違い
5. OpenAIをめぐる過去の優先権争い
6. OpenAIの数学公開から読者が見るべき点
7. まとめ
8. 参考・出典

2026年10月6〜7日ごろ、OpenAIは数学の論文原稿722本をGitHubで公開した。AIが書いた解答で、約4,000の研究問題を試した中から出したと報じられている。「AIが数学の未解決問題を解いた」という見出しが並んだが、現場の数学者の反応は祝福一色ではない。争点は、解けたかどうかだけではない。確かめられる形で、確かめる人と相談して出したのかどうかだ。見出しから受ける印象と、数学者が気にしている点はずれている。

OpenAIが公開した722本の中身

公開されたのは、完成した論文ではなく論文の原稿である。Engadgetの報道やThe Informationの速報によると、722本は372のまとまり（問題群）に分かれる。未公開の社内モデルが書いたものだ。

各紙の報道では、多くの原稿に証明の検算用データが付いている。この形式は「Lean」と呼ばれる。証明の一歩一歩をコンピュータが機械的に検査できる専用の書き方で、人間が全行を読まなくても、論理の穴を見つけやすくなる。

1件あたりの計算量は、平均でChatGPT Proの約3時間分だという。OpenAIはScientific Americanに、ほぼ全ての論文が1つのAIエージェントへの1回の指示から作られたと説明している。ただし、実際の計算時間と指示文そのものは非公開だとEngadgetは伝えている。第三者が同じ条件で再現することは、現時点ではできない。

OpenAIが挙げる主な成果は3つある。4次元のKakeya予想の解決、アルゴリズムの改良、リーマン予想へ向けた前進だ。予想とは、正しいと信じられているが、まだ証明されていない主張のことである。これらはいずれもOpenAI側の主張であり、第三者の確認は済んでいない。

「解いた」と「正しいと確認された」は別のこと

数学の世界で成果が認められるまでには、段階がある。論文を書く。専門家が読み、誤りがないか確かめる（査読）。他の研究者が独立に検証する。この順番を経て、初めて「解けた」と広く言える。

今回の722本は、1段目が済んだ状態だ。Engadgetによると、マサチューセッツ工科大学（MIT）のAndrew Sutherlandは「モデルが公開されるまで、1回で解いたという主張は未検証として扱うべきだ」と述べた。結果は査読と独立検証を待っている。

これは読者が見出しから受ける印象と、最も食い違う点だ。「解いた」と書かれると、すでに答え合わせが済んだように読める。実際には、答案が提出されたところである。Lean付きの原稿が多いことは検証を早める材料になる。それでも、問題の設定が適切か、既存の研究と重複しないかといった判断は、数学者が読んで決めるほかない。

OpenAI広報の説明と公開の進め方

OpenAIの広報Lindsay McCallumは、Wiredに次のように述べた。8月28日に新しい社内モデルの訓練を開始した。このモデルは、ミレニアム懸賞問題のナビエ–ストークスの解決に加え、数学のほぼ全分野で100件超の長年の未解決問題を解いた、という。

公開の進め方について、OpenAIはInstitute for Advanced Study（米国の高等研究機関）の数学とAIの諮問グループの勧告に沿っていると説明している。つまりOpenAIは、外部の助言に従って手順を踏んだという立場だ。

公開の仕方をめぐる数学者の不満は、次に見るとおり別の場所にある。

Wiredが伝えた数学者との会合と食い違い

Wired（2026年10月6日、Isabella Ward記者）によると、8月にOpenAIは約40人の数学者を集めた。テーマは「AIが人間を上回ったらどうするか」だった。

出席者の話では、その場で「成果を一度に全部は公開しない」と言われたという。これに対しOpenAI広報は、そう保証した記憶は「ない」と回答した。同じ会合について、双方の記憶が一致していない。どちらが正確かは、第三者には判断できない。

ノースウェスタン大学のBryna Kraは、ブログやツイートではなく、数学者が読み解いて使える論文の形で出してほしいと伝えたという。しかし「その助言は無視されたようだ」と話す。Kraは「ツイートや発表文で数学をするのは、AIが学習した土壌を育んだ生態系を養う道ではない」とも述べた。AIが学んだのは、数学者が積み上げてきた論文だという意味だ。

数学者4,000人超が署名した「Leiden宣言」は、AI企業に数学者の基準を求めている。Kraはその起草に参加した。検証用の道具としては、主にAI生成物を集めたリポジトリのHexagonと、機械検証済みの数学を登録するPalomarがある。それでもKraは「OpenAIは行動を変えていない」と指摘する。

OpenAIをめぐる過去の優先権争い

今回の反発は、突然生まれたものではない。Wiredによると、9月にOpenAIは数千のエージェントでミレニアム懸賞問題に挑んだ。ニューヨーク大学（NYU）のTristan Buckmaster教授は、自分とAnthropic社員のLevent Alpögeが未公開で進めていた成果を先取りされたと主張している。

さらにBuckmasterは、OpenAIのSébastien BubeckがAlpögeを論文から外すよう示唆したと主張する。Bubeckは公の声明でこれを否定した。NYUのNestor Guillenは「AI企業にはマフィア的な振る舞いという認識がある」と語ったが、OpenAIは「その特徴づけには同意しない」と答えている。

8月6日の10件の成果発表「Astra」についても、Scientific Americanが批判を伝えた。Yeshiva大学のStephen Millerは、自分の2016年の論文の議論が独自のものとして提示されたと指摘し、「研究不正」と述べた。ケンブリッジ大学のFrancesco Fournier-Facioは、1件を「文献の発想を貼り合わせたもの」と評価した。

OpenAI広報はこれに対し、結果の正しさには責任を持つと答えた。人間の数学者に一般に求められる基準を満たしているとも述べ、今週中に小さな更新をすると説明した。なお、Astraをめぐっては、OpenAI新モデルAstra、AGI発言が物議という記事も当サイトで扱っている。

OpenAIの数学公開から読者が見るべき点

ビジネスの読者にとって、今回の件は数学の話にとどまらない。AIの成果を「誰が、どの段階で、どう確かめるか」という問題だからだ。

OpenAIの立場に立てば、100件超の未解決問題に答えを出せるなら、公開を急ぐ理由はある。成果を隠せば、かえって不透明だと批判されうる。一方、数学者の立場に立てば、正しさを判断する人が読める形で出さなければ、成果が成果として扱われない。両者の主張は、どちらも筋が通っている。違うのは、確認の手順を誰が決めるかである。

OpenAIは最近、他の面でも社内の情報の扱いが問われている。当サイトの記事では、OpenAI、GPT-6.1 Astra公開中止 理由は正直さや、OpenAI、安全研究者3人を解雇 理由は情報の扱いを報じた。今回の数学での対立と並べて、同社の情報公開の姿勢を見る材料にできる。

今後の焦点は3つある。722本のうち、査読を通るものがいくつあるか。モデルが公開され、独立に再現できるか。そして、OpenAIが数学者の求める形式で公開を続けるか。見出しの「解いた」は、これらが済むまでは「解いたと主張している」と読むのが正確だ。

まとめ

OpenAIが公開した722本は、AIが数学の研究に参加し始めた証拠であると同時に、まだ誰も検証し終えていない答案の束でもある。成果を評価する前に、確認の手順が整うかどうかを見るべきだ。

参考・出典

• Wired：OpenAI Is Pissing Off a Bunch of Mathematicians Again
• Engadget：OpenAI just posted hundreds more results on major math problems
• Scientific American：OpenAI’s latest math breakthroughs commit research misconduct, experts say
• The Information：OpenAI publishes 700 new math papers with AI-made solutions

---