ニール・ソマニ、元量子化研究者は、OpenAI GPT-5.2モデルの数学的能力をテストし、難しい数学の問題に対する完全な解決策を見つけたことに驚きました。

モデルの推論プロセスは洗練されており、高度な概念を使用し、数学コミュニティの以前の議論に言及しています。また、AIが提供する解決策は異なり、以前のアプローチよりも完全です。 これらの進展は、AIが数学において貴重なツールになりつつあることを示唆しており、Erdősのサイトの15の問題が最近数ヶ月で「オープン」から「解決済み」に移行し、多くの解決策がAIモデルに起因しています。テレンス・タオのような著名な数学者は、これらの進展を注意深く観察し、問題解決におけるAIの重要な貢献を認識しています。 また、形式化に対する高まる焦点がこれらの進展を促進し、現代の証明支援ツールが参入障壁を低下させました。AIは自律的に数学を行うわけではありませんが、長期的な問題解決におけるその役割は、数学的発見の境界が急速に変化していることを示唆しています。