数学界がOpenAIと決別した理由

数学研究におけるAI活用は証明支援系「Lean」などと協調して進められていたが、OpenAIをはじめとするAIラボの手法に対し数学界で不信感が高まっている。2026年にはフィールズ賞受賞者25名を含む声明や、人間数学協会(AHM)によるOpenAIとの協業停止を求める声明が発表された。背景には、ナビエ–ストークス方程式等の成果を巡るクレジット問題や、検証・消化を無視した大量の未整理な証明の公開、科学的規範の軽視があり、研究者側は学術的な理解を重視する姿勢との深刻な不一致を指摘している。