OpenAIが数学論文700本超を一括公開 — 「学術ではなく力の誇示だ」と数学者団体AHMが批判声明、タオがブログに転載

10月7日、テリー・タオが「AHM Statement on OpenAI's October 6 Release of Mathematical Documents」と題した記事を公開した。この記事は、OpenAIが2026年10月6日に722本超の数学論文を一斉公開したことに対し、数学者団体「Association for Human Mathematics（AHM）」が発表した公式声明を転載したものだ。タオ自身は声明の著者ではなく、声明文がAIを用いて別ファイル形式から変換されたことを注記した上でブログに掲載している。

OpenAIが数学論文を一挙700本超リリース

2026年10月6日、OpenAIは数学における高名な未解決問題（あるいは著名な問題）への解答を含むとされる論文群をリポジトリとして公開した。ファイル数は700本超に上る。

AHMとは何者か

声明を発表した「Association for Human Mathematics（AHM）」は、人間の数学者コミュニティの立場から数学研究の倫理・方向性について発言することを目的として設立された団体だ。その名称が示す通り、「人間中心の数学（Human Mathematics）」を旗印とし、AI企業主導の数学研究の進め方に対して批判的な立場をとっている。今回の声明はAHMとしての組織的な表明であり、タオはその内容を支持・共有する形で自身のブログに転載した。

「これは学術的貢献ではなく、力の誇示だ」

AHMは翌10月7日に公式声明を発表した。声明の主な論点は以下の通りだ。

数学者はこの研究を依頼していない。 AHMは、数学者コミュニティの意思とは無関係にリリースが行われたと強調する。
OpenAI自身が参照した諮問グループの立場とも矛盾する。 OpenAIが正当性の根拠として言及してきた「数学とAIに関する諮問グループ（Advisory Group on Mathematics and Artificial Intelligence）」は、複数の著名な数学者・研究者によって構成され、AI時代における数学研究のあり方を検討するために設置された独立的な諮問組織だ。このグループはその最初の声明の中で「フロンティアAI企業は高度な数学問題を内部モデルでテストすべきではない」と明記していた。OpenAIはこの中心的な前提を無視した形になる。
700本超を一度に放出することは学術ではない。 声明は「Releasing over 700 files at once is not a demonstration of scholarship, but a demonstration of power.（700本超のファイルを一度に公開することは学術の実証ではなく、力の実証だ）」と断言している。

AHMは声明の末尾で、数学者に対してOpenAIとの協力関係を打ち切り、「人間の理解を中心に置く科学のビジョンへ立ち返る」よう呼びかけた。

「数学の信頼性」を巡る構造的な対立

今回の声明が示すのは、AI企業と数学コミュニティの間にある根本的な認識のズレだ。

数学においては、証明の正しさを検証するプロセス自体がその知識の価値の大部分を占める。査読・公開・再検証という段階的なプロセスを経ることで、数学的な知識は「信頼できるもの」として蓄積されてきた。

AHMはこの点を「数学が信頼に足るものであり、倫理的に研究され、公共の利益のために存在することを保証する規範」と表現し、OpenAIの公開手法がその規範を逸脱していると批判する。700本を一括公開するというアプローチは、この段階的検証プロセスとは相容れない。

背景：テリー・タオとAI数学の最前線

テリー・タオ（Terence Tao）はフィールズ賞受賞者であり、数学とAIの関係について積極的に発言してきた人物だ。今回の声明をゲスト投稿として自身のブログに掲載したことは、AHMの立場への一定の支持を示すものとして受け取れる。ただし、声明の著者はAHMであり、タオ個人が直接批判文を執筆したわけではない点には留意が必要だ。

数学界におけるAI活用を巡っては、Lean等の定理証明支援系（プログラムとして数学的証明を形式的に記述・検証するツール）との連携や、LLMによる数学的推論の限界といった議論が継続している。今回のOpenAIによる大量リリースは、その緊張関係が表面化した一例だ。

詳細はAHM Statement on OpenAI's October 6 Release of Mathematical Documentsを参照していただきたい。