OpenAIの大規模数学論文リリースが学術数学者の職業不安を引き起こす

2026年10月6日の夜、OpenAIはテクノロジー出版物Unite.AIによると、未発表の内部モデルによって生成された722の数学論文を含む公開リポジトリを開設した。同社は同システムに約4,000の未解決問題を提示し、公開する価値があると判断した部分集合のみを公開し、代数、数論、位相幾何学、理論計算機科学、数学論理に及んでいると述べた。

OpenAIが公開したもの

Unite.AIによると、内部モデルの訓練は2026年8月28日に開始され、評価実行は9月1日に開始された。同モデルは9月5日頃、ナビエ・ストークス特異点問題に対処するLean形式化証明を生成したと報告されており、これはクレイ・マスマティクス・インスティテュートの7つのミレニアム賞問題のうちの1つである。OpenAIは9月8日に結果を公開発表し、関連する100万ドルの賞金を求めないと述べた。Fortuneは、OpenAIが10月6日のバッチで他の3つのミレニアム賞問題に対して完全に解決することなく部分的な進歩を主張したことも報道した。

すべての論文が機械チェック済みの検証を伴っていたわけではない。Unite.AIは、多くの論文がLean証明支援器における形式化を含んでいるが全てではないことを指摘し、形式化されていない結果はより多くの隠れた誤りのリスクを抱えていると述べた。Fortuneは、10月8日までにOpenAIがすでに発見された誤りの後に少なくとも3つの発表された解決策を撤回していたことを報道した。

フィールズ賞受賞者は泣いたと述べる

このリリースは一部の研究者に個人的に影響を与えた。フランスのメディアSenePlusは、2022年に統計物理学における相転移に関する仕事でフィールズ賞を受けたヒューゴ・デュミニル=コパンが、OpenAIが対処したと主張する問題の中に自分の未解決研究論文16個があることを発見し、同社が効果的にその研究ラインを終わらせたと述べたと報道した。彼は10月6日火曜日夜から10月7日にかけて泣いたと述べ、娘を起こすほどだったと述べた。

SenePlusによると、デュミニル=コパンは10月8日にフランス数学会によって開催されたビデオ会議で、研究者の目標は定理を証明することだけでなく、他の人間に対して理解をもたらすことでもあると主張した。彼は特に初期段階の数学者について心配し、アイデアや部分的な結果を同僚間で回覧する非公式な文化が、競争圧力の中でOpenAIとの協力を避ける数学者が増えると破綻するのではないかと懸念していると述べた。

数学者が反発

このリリースは人間数学協会（AHM）からの公開声明を引き起こした。この団体の通信ワーキンググループは10月7日に数学者テレンス・タオのブログにゲスト投稿として掲載した。声明は、数学者がこの仕事の体をリクエストしておらず、OpenAIが数学と人工知能に関する顧問グループからの事前のガイダンスを無視していたと述べた。このグループはAI企業がどのように数学的主張をテストし公開すべきかについてアドバイスする独立した機関である。声明は700以上のファイルを一度に公開することは、慎重な学術的レビューよりもOpenAIのリソースのスケールを反映していると述べた。

Fortuneは、Mastodonで執筆したテレンス・タオが、このエピソードは彼が「数学1.0」と呼んだものの終わりを示していると述べたと報道した。彼は、AI使用者によってますます解決される問題がある一方で、より広いフィールド自体には関心がなく、分野は問題解決だけではなく説明とコミュニティ構築により多くの価値を置く必要があると主張した。ナビエ・ストークス作業について以前から懸念を提起していたニューヨーク大学の数学者トリスタン・バックマスターは、Fortuneが引用するようにニューヨークタイムズに、彼は発表されたいくつかの結果が適切なクレジットなしに他の数学者の事前研究を完成に拡張したと疑ったと述べた。

コロンビア大学の数学者ピーター・ウォイトは、彼のブログ「Not Even Wrong」で執筆し、このリリースは組織化が不十分で、OpenAIは顧問グループの推奨事項を無視してから、結果をソートするための責任を数学コミュニティ自体に転嫁していると述べた。ウォイトは論文の背後にあるシステムを彼が「Astra」と呼ぶモデルとして特定した。彼のポストのコメント者は、多くのAI生成証明は技術的に密集していたが、正しい場合でも数学的直感や新しい理論的理解をほとんど提供していないと述べた。

新しい争いではない

OpenAIと数学者の間の摩擦は10月のリリースより前のものである。TechCrunchは、2025年10月に、OpenAIの副社長ケビン・ワイルがGPT-5が以前に未解決であった10のエルデシュ問題の解決策を見つけ、他の11題についても進歩を遂げたというクレームを投稿し、後に削除したと報道した。公開エルデシュ問題データベースを管理するトーマス・ブルームは、フレーミングが極めて誤解を招くと述べ、彼のサイト上で「未解決」と表示されている問題は単に彼が公開された解決策について知らないことを意味し、どのような解決策も存在しないことではないと説明した。彼はGPT-5は彼が見逃した既存の参考文献を見つけたと述べた。OpenAI研究者セバスチャン・ブベックは後に、モデルが新しい発見ではなく発表された文献から既存の解決策を見つけたと認めたが、彼はこれはまだ価値があると述べた。

支持者は分野が適応できると言う

すべての数学者がこのリリースを危機と見なしたわけではない。Fortuneはトロント大学の数学者ダン・リットが、彼は全体的に数学のための発展を肯定的と見なしたが、分野が制度的支持を失わないようにするために社会は人間の数学者に資金を提供し続ける必要があると述べたと引用した。リットはまた、OpenAIが従来の論文として自らの結果をすべて書く十分な数学者を採用していないことに注目し、これはリリースのスケールと速度を説明するのに役立つと述べたが、言い訳になるわけではないと述べた。

• 722のAI生成論文が372の問題ファミリーに整理されて2026年10月6日にリリースされた（Unite.AI）。
• OpenAIはモデルを約4,000の未解決問題についてテストしてから選択されたサブセットを公開した（Unite.AI）。
• 少なくとも3つの発表された結果は誤りが発見された後10月8日までに撤回された（Fortune）。
• フィールズ賞受賞者ヒューゴ・デュミニル=コパンは対処された問題の中に自分の16個の未解決研究論文があると述べた（SenePlus）。
• 人間数学協会はOpenAIとの協力をやめるよう数学者に促した（テレンス・タオのブログ）。