OpenAIのAI証明、数学者が創造性低下を懸念
出典:WIRED
詳細を読む
OpenAIが数千のAIエージェントを使い、長年未解決だったナビエ・ストークス方程式の問題を解いたと主張したことで、数学界では証明の速さと人間の理解・創造性の両立が論点になっています。2026年9月28日時点で166ページの証明は査読中で、専門家による正しさの確認は終わっていません。数学者らは、結論を先に大量生成すると、新しい概念を生む試行錯誤や若手育成の機会が失われると懸念しています。
数学者は正解だけでなく、先行研究をたどり、議論を組み立て、同僚を納得させる過程から新しい概念を生みます。今回の手法は多数のAIエージェントによる大規模探索で結論を先に出したため、数学者が後からなぜ成り立つのかを理解する順序になりました。
専門家は、証明が従来と異なる順序で書かれ、OpenAIが到達過程を十分に開示していないと批判しています。ニューヨーク大学の数学者トリスタン・バックマスター氏は自身らの研究が適切な帰属なしに使われた可能性を指摘し、AIがどこまで自律的に働き、人間がどの程度支えたのかも不明です。
フィールズ賞受賞者25人を初期署名者に含むオンライン宣言は、証明の大量生産が新しい発想を育てる土壌を損なう恐れがあると訴えました。宣言はAI利用そのものへの反対ではなく数学文化が理解を重視するとの主張で、OpenAIは批判を受け、AI活用を助言する数学者の諮問団を設置しました。
難しい計算に行き詰まる経験は、虚数のように後世の科学技術を支える概念を生む契機にもなってきました。AIが解きやすい問題を先に処理すれば、若手が課題を通じて技法を学ぶ徒弟的な育成機会を減らし、長期的な人間の創造力に影響するとの懸念が示されています。