陶哲軒氏、OpenAI数学論文公開を批難 学界対立激化

OpenAIは10月6日、未公開の内部モデルにより生成された722件の数学論文をGitHub上で一括公開した。黎曼予想関連や唯一ゲーム予想など未解決問題に挑む成果を含み、形式検証ツールLeanによる論理整合性確認の一部も完了させたが、学界からは激しい論議が巻き起こっている。 本件に対し、AHM（人類数学協会）は「商業的規模での一斉公開は学問生態を脅かす」と声明。フィールズ賞受賞者の陶哲軒教授は7日、自身のブログで同声明を全文転載し、AI企業との関係見直しを促した。陶教授はかねてより、AIの数学研究への導入が学問の本来の目的から逸脱するリスクを警告しており、今回の転載は学界の懸念を象徴する動きとなった。 学界の反応は分かれている。理論計算機科学者のスコット・アロンソン教授らは、論文が構造的に不明瞭で、人間が消化・再構築する負担増を懸念する。また、ナヴィエ・ストークス方程に関する以前の発表を巡り他研究者との優先権争いに発展した経緯もあり、OpenAIの発表ペースと透明性に対する警戒感が強い。一方、AGMAI（数学・AI諮問グループ）は対話を通じた規範構築を重視し、フィールズ賞受賞者のマーティン・ハイレル教授らはAI企業との連携拒否がむしろ学界の影響力低下を招くと指摘する。 本件は単なる技術検証の議論を超え、数学研究の権限配分と学術規範の再定義を迫るものとなった。商業ラボが支配する計算資源と人間理解のスピード差が拡大する中、研究課題の選定や成果評価における学界の主導権をいかに維持するかが主要な課題となる。今後は、AI生成成果の受容体制整備と透明性のある共同研究フレームワークの構築が急務である。