OpenAIは、内部の最先端モデルによって生成された一連の新たな数学的成果の発表を公表した。Substackニュースレターに掲載された記事で、Gary Marcusは、この発表ではその意義を評価することができず、科学論文に期待される情報が提供されていないと指摘している。
この発表は、2026年10月6日にXに投稿されたメッセージで行われた。OpenAIは、Institute for Advanced Studyに所属する独立諮問機関「Advisory Group on Mathematics and Artificial Intelligence」に相談し、その助言に基づいたとしている。ただし、メッセージでは使用された手法の詳細は明らかにされていない。
曖昧すぎると評価された発表
Gary Marcusは、OpenAIの報告書における「Same procedure」や「Using an unreleased model」といった表現を問題視している。彼によれば、このような文書は科学研究の通常の検証プロセスであるピアレビューを通過できないという。また、採用された手順、モデルのアーキテクチャ、失敗率、そしてデータのトレーニング、ポストトレーニング、拡張の各段階が不明である点を指摘している。
特に、彼は具体的な疑問を提示している：証明は一気に生成され、その後、数学的証明の形式的検証システムであるLeanによって検証されたのか、それとも反復的なプロセスの結果なのか？回答がないため、この成果が数学以外の分野にどの程度拡張可能か判断できないとしている。
批判的思考が不足しているとされる反応
Gary Marcusはさらに、ソーシャルメディア上の多くのコメントが、何が称賛されているのか、それが何を意味するのかを正確に知らず、基本的な科学的疑問も投げかけずに賞賛に留まっていることを残念に思っている。彼は自身の分析を次のように要約する：「この新システムは、人工汎用知能（AGI）への正当な一歩となる可能性がある。あるいは、検証可能な分野において、Leanと合成データを巧みに利用しただけで、一般性が全くないものかもしれない。」そして結論として、「最初の報告書からは、ほとんど何も言えない」と述べている。
