OpenAI 最新リリースの GPT 5.2 モデルは、高等数学の問題解決において驚くべき能力を示しており、著名なエルデシュ問題集の中で最近解決された15の予想のうち11を解決するのに役立ちました。モデルをテストしたニール・ソマニ (Neel Somani) は、その推論能力が「明らかに向上している」と指摘し、数学者のテレンス・タオ (Terence Tao) は、人工知能は特に理解しにくい「長尾」問題の解決に適していると考えています。Lean などの形式化ツールや Harmonic の Aristotle などの人工知能アシスタントの登場は、この傾向をさらに推進し、学術研究者からの認知も得ています。