技術 2026年3月24日(火) 約7分 GPT-5.4 ProがFrontierMathのRamsey超グラフ問題を初解決、Brian-Larson予想の漸近正確性も示す Epoch AIが管理する研究者レベルの未解決数学問題集FrontierMathで、Ramsey超グラフ問題をGPT-5.4 Proが初めて解いた。Claude Opus 4.6とGemini 3.1 Proも後続で解決を確認。AIが純粋数学の未解決問題に迫った初の事例となった。 GPT-5.4 Claude Gemini FrontierMath AI数学 数学的推論