世界は立ち止まらない。RSS
BIG CHANGE.

Markdown版

AI-translated from English; not yet reviewed by a fluent editor.

# 人間数学協会、OpenAIの数学成果公開に異議

> 人間数学協会は、OpenAIによる非公開の数学研究と大量公開に異議を唱えている。撤回や証明の修正は記録が変化していることを示すが、コレクション全体への判定ではない。

By BIG CHANGE Editorial

Published: 2026-10-09T18:23:58.826Z
Updated: 2026-10-09T18:23:58.826Z
Canonical: https://bigchange.ai/blog/association-human-mathematics-openai-math-release

![A wheeled library cart holds many plain manuscript booklets beside one separate blank response sheet in a freestanding holder.](https://bigchange.ai/api/media/file/ahm-math-release-response-hero-v1.png)
Conceptual illustration of AHM's response to OpenAI's large mathematics-manuscript release. It does not show AHM's actual statement, a repository screen, a proof, or a verdict on the manuscripts. AI-generated illustration by BIG CHANGE.

人間数学協会（AHM）は、OpenAIが10月6日にAI生成の数学研究を大量公開したことを受け、数学者に同社との協業をやめるよう呼びかけた。10月7日の[声明](https://www.ahmath.org/statements)で同協会が主に問題視したのは、非公開モデルで高度な未解決問題に取り組み、その成果として数百本の論文を一度に公開することだ。この公開方式が数学を前進させるというOpenAIの主張に異議を唱える一方、公開ファイルによって個々の主張を検討できることも認めている。

これはAHMのコミュニケーション作業部会の見解だ。数学界の投票結果でも、すべての原稿が誤りだという認定でもない。Terence Taoは[この文書をAHMの寄稿声明として再掲載した](https://terrytao.wordpress.com/2026/10/07/ahm-statement-on-openais-october-6-release-of-mathematical-documents/)。自身の声明として採用したのではなく、著者を明記している。

## 大きな変化

- **何が変わったか：** OpenAIのリポジトリをめぐる議論は、個々の成果の妥当性を超えている。AHMは、研究課題を選び、数学者が成果を受け取る条件を定めるうえで同社が果たす役割に異議を唱えている。
- **なぜ重要か：** 生成ツールを誰が調べられるのか、また大量公開された成果を検証し説明する作業を誰が担うのかが争点だ。個別の証明が修正または形式化された後も、これらの問いは残る。
- **今後の注目点：** OpenAIは形式化を追加すると述べている。修正後の主張に対する独立評価や、今後の版管理された訂正によって、数学者が検証し理解できる具体的な結果が明確になる。

## AHMが異議を唱えていること

AHMは、数学者がこの研究を依頼したわけではないと述べている。700本を超えるファイルの公開を学術研究ではなく力の誇示と呼び、分野にとっての価値を疑うよう読者に求めた。声明は独立機関の数学・人工知能諮問グループ（AGMAI）にも言及し、OpenAIが同グループの当初の要請、すなわち社内モデルで高度な数学を試すのをやめるよう求める要請を無視したと述べている。

この言及には明確な根拠がある。[AGMAIの9月29日付ガイドライン](https://agmai.org/general-sep29/)は、先端研究所に対し、独自モデルで高度な問題を試すのをやめるよう求めている。同じ文書は、すでに成果を出している場合の公開について条件付きの提言も示す。数学的に明瞭な文章、適切なリポジトリ、生成方法の開示、可能な場合の形式化、人間の理解への支援だ。提言は600件を超える調査回答に基づき、回答者の相対多数から支持を得たと説明している。こうした事実があっても、AHMによるその後のOpenAIとの協業停止要求がAGMAIの指令や数学界全体の決定になるわけではない。

その[10月6日の公開への回答](https://agmai.org/)。AGMAIは、助言機関としての役割はOpenAIの手順を承認することでも、成果の影響を評価することでもないと明言した。公開は人間による評価の始まりだと説明し、提言がどの程度守られたかを判断できるのは数学界だけだとした。OpenAIは以前、同グループを[独立した組織と説明し](https://openai.com/index/advisory-group-on-mathematics-and-ai/)、審査と情報発信について助言を受ける一方、社内研究の進度は同グループが管理しないと述べていた。ここでは助言と権限の違いが重要だ。AHMの批判はOpenAIの選択への異議であり、外部委員会がそれを承認または拒否した証拠ではない。

## 記録が変化しても、確認は必要だ

OpenAIの[リポジトリ](https://github.com/openai/math)によると、コレクション内の研究は検証の段階がそれぞれ異なる。現在の目録には**372のファミリーに属する719本の原稿**がある。1つのファミリーに複数の論文が含まれる場合もある。リポジトリは、一部の原稿にはLeanによる形式化がなく、形式化されていない結果には問題がある可能性もあるとし、主要な結果の約42%が形式化されていると報告する。形式化とは、特定の命題に対する明示的で機械検証可能な論証であり、周辺の論文にあるすべての主張を一括して確証するものではない。また、リポジトリの状態は独立した数学的審査の代わりにはならない。以前公開した[ファイルと証明構成の解説](https://bigchange.ai/blog/openai-math-repository-manuscripts-formal-proofs)では、対象範囲のたどり方を説明した。

3本の原稿が撤回され、件数が変わった。OpenAIの[10月7日の履歴記録](https://github.com/openai/math/blob/main/history.md)は、1つの証明にあった符号の誤りが、依存する2本の論文にも影響したことを撤回の理由としている。記録には、ほかの14本の原稿の改訂、13本の参考文献更新、6件の形式化追加もある。私たちの[3件の撤回通知に関する記事](https://bigchange.ai/blog/openai-withdraws-three-math-manuscripts-sign-error)が示す結論はより限定的だ。特定された論証では、それらの論文の主張はもはや立証されないが、通知は数学的命題自体を否定していない。撤回された証明、修正された原稿、形式化済みの結果は、それぞれ異なる状態だ。

改訂は、規模が大きく形式化の程度にもばらつきがあるコレクションを審査するにはどのような作業が必要かを示している。これはリポジトリの記録に対する私たちの分析であり、AHMの声明にある主張ではない。AHMは、独自モデルを通じてコレクションを生成し公開する判断に反対している。一方、OpenAIは研究者が調べ、訂正し、議論できる版管理付きの資料を提供した。[以前の審査能力に関する分析](https://bigchange.ai/blog/ai-research-discovery-review-capacity)では、提案された大量の結果を理解された数学へと変えるために必要な労力を取り上げた。今回の論争は、さらに鋭い問いを加える。この方法で大量の成果を生み出すことは、それを評価する人々の役に立つのか。

## 出典・参考資料

- [Association for Human MathematicsによるOpenAIの10月6日公開に関する声明](https://www.ahmath.org/statements)、2026年10月7日。AHMの異議と協業停止の呼びかけを示す主要資料。コミュニケーション作業部会の立場を記したもので、すべての数学者の意見を示すものでも、個別の証明を判定するものでもない。
- [Terence TaoによるAHM声明のゲスト投稿再掲載](https://terrytao.wordpress.com/2026/10/07/ahm-statement-on-openais-october-6-release-of-mathematical-documents/)、2026年10月7日。文章をAHMのゲスト声明として示し、協会の原ページへ案内する。
- [AGMAIの責任ある公開に関するガイドライン](https://agmai.org/general-sep29/)（2026年9月29日）と、[OpenAIの公開に対するAGMAIの回答](https://agmai.org/)（2026年10月6日）。独自モデルによる検証への異議、条件付きの公開提言、そして助言機関としての役割が意味する範囲について、同グループが明示した限界を示す。
- [OpenAIによる諮問グループの発表](https://openai.com/index/advisory-group-on-mathematics-and-ai/)（2026年9月21日）。グループの独立性と任務、社内研究の進度を管理しない点についてのOpenAIの説明を記す。
- [OpenAIの数学リポジトリ](https://github.com/openai/math)と[バージョン履歴](https://github.com/openai/math/blob/main/history.md)（2026年10月9日確認）。現在の719本・372ファミリーという件数、ばらつきのある形式化、10月7日の撤回と改訂に関する一次記録。数学の独立した検証ではなく、OpenAI自身の主張と訂正の記録である。

## Sources

- [Association for Human MathematicsによるOpenAIの10月6日公開に関する声明](https://www.ahmath.org/statements) — AHMコミュニケーション作業部会の主要資料であり、数学界全体の投票ではない。
- [Terence TaoによるAHM声明のゲスト投稿再掲載](https://terrytao.wordpress.com/2026/10/07/ahm-statement-on-openais-october-6-release-of-mathematical-documents/) — 再掲載された文章をAHMのゲスト声明として示す。
- [AGMAIの責任ある公開に関するガイドライン](https://agmai.org/general-sep29/) — 独自モデルによる検証への当初の異議と、条件付きの公開提言。
- [OpenAIの公開に対するAGMAIの回答](https://agmai.org/) — 承認や影響評価を明確に否定し、評価は数学界に委ねる。
- [OpenAIによる諮問グループの発表](https://openai.com/index/advisory-group-on-mathematics-and-ai/) — グループの独立性、任務、社内研究の進度に対する権限の欠如についてのOpenAIの説明。
- [OpenAIの数学リポジトリ](https://github.com/openai/math) — OpenAIが報告する719本の原稿、検証上の留保、約42%の形式化。
- [OpenAIの数学リポジトリ履歴](https://github.com/openai/math/blob/main/history.md) — 3本の撤回、改訂、参考文献の更新、形式化の追加。