OpenAI、数学証明700件公開に数学者コミュニティが反発

米OpenAIが700件を超えるAI生成の数学証明ファイルを一挙公開したことに対し、数学研究者コミュニティから強い批判と反発が巻き起こっています。フィールズ賞受賞者のテレンス・タオ（Terence Tao）氏をはじめとする数学者らは、専門家助言グループの停止勧告を無視した一方的なデータ放出であり、学問的貢献ではなく「力の誇示」にすぎないと非難しています。

700件超の証明一括公開とAHMによる抗議声明

OpenAIは公式のGitHubリポジトリ（openai/math）において、多種多様な数学問題に対するAI生成の証明ドキュメント数百件を公開しました。同社は直前にも流体力学の基礎方程式である「ナビエ–ストークス方程式」の解法を巡る発表で議論を呼んでおり、今回の大量公開は数学界の反発をさらに強める結果となりました。

数学者有志による団体「Association for Human Mathematics（AHM）」は直ちに抗議声明を発表し、フィールズ賞受賞者であるテレンス・タオ氏が自身のブログでそれを共有・支持しました。声明では以下のように強く批判されています。

「700件を超えるファイルを一度に公開することは学問の提示ではなく、単なる力の誇示にすぎない。数学コミュニティと一般社会に対し、この公開モデルの価値を適切な懐疑心をもって見るよう求める」

専門家助言グループの勧告無視と検証負担の押し付け

OpenAIは公開に際し、数学・AI専門家の独立組織である「Advisory Group on Mathematics and Artificial Intelligence（AGMAI）」と協議を重ねてきたとアピールしました。しかし実際には、AGMAIは2026年9月末の時点で「非公開の独自（プロプライエタリ）モデルで高度な数学問題をテストし続けることへの不支持と停止」を明確に勧告していました。

AHMは、OpenAIが助言グループの中心的な要請を完全に無視しながら、その名前を利用して研究の正当性を装おうとしていると非難しています。

さらに、今回の証明群が抱える構造的な問題として以下の点が指摘されています。

論点	OpenAI側の主張	数学コミュニティ側の懸念
検証手法	形式言語「Lean（定理の形式的検証と対話的定理証明を行うためのプログラミング言語）」で機械的整合性を検証済み	論理展開が人間にとって解読不能な水準で難解
学術的意義	AIによる先端数学の推論能力向上を実証	人間側の数学的洞察や理解の深化に寄与していない
検証負担	オープンに成果を公開して共有	700件もの膨大な証明を精査する重労働を外部に一方的に転嫁

分析と展望：オープンサイエンスの規範とAI企業の摩擦

今回の対立は、商業AI企業と伝統的な学術コミュニティとの間に生じている深い溝を浮き彫りにしています。

数学研究は歴史的に、証明の正しさだけでなく「なぜそうなるのか」という洞察を人間が共有し、検証可能な形で対話を積み重ねることで発展してきました。ブラックボックスな独自モデルから吐き出された大量の証明ファイルを投げ与え、その解読・検証のコストを外部の専門家に負わせる手法は、学術研究の健全な信頼関係を損なう要因となります。科学の発展にAIを活用していくためには、成果の一方的な投下ではなく、コミュニティの規範に即した対話型のアプローチが求められます。

引用元：Futurism | Techstrong.ai