OpenAIの数学解答、学界基準に課題

OpenAIは2026年10月、世界でも難度の高い数学問題への解答を数百件公開しました。だが、プリンストン大学高等研究所が主催する数学・AI諮問グループ（AGMAI）の指針と照らすと、独自モデルで未解決問題を評価し、人間が理解できる形で成果に責任を持つ点などに課題が残ります。研究者は、AIによる証明にも通常の査読と精査が欠かせないと指摘しています。

AGMAIは、高度な数学問題を独自モデルで試すことをやめるよう求めていましたが、OpenAIは独自モデルで未解決問題を評価したと明記しました。早期公開や推論方法の説明など一部の原則には沿った一方、719本の原稿のうちモデルの思考過程を公開したのは10本だけでした。

人が理解できない論文について、AGMAIは証明の形式化を推奨しました。記事によると、OpenAIが公開した証明の42%は形式化を経ていません。さらに、自然言語の説明と形式的な成果物を対応づける機械可読メタデータも付けませんでした。

ケンブリッジ大学とキングス・カレッジ・ロンドンの研究者は、ナビエ・ストークス方程式から派生した問題の解答を検証しました。OpenAIの自然言語による証明と、証明支援言語Leanのコードとの間に少なくとも2つの不一致を確認しました。不一致だけで解答が誤りとは断定できませんが、AIだけによる形式化を信頼できるかに疑問を投げかけます。

数学者は、新たな成果には論文や講演、セミナーを通じて説明し、知見を広げる責任が伴うと強調します。AGMAIは、AIの解答を意味ある成果にする人間の数学者の作業をOpenAIが支援するよう提案しました。AIが答えを出した時点は終点ではなく、人間による理解と検証の出発点です。