技術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.4ClaudeGeminiFrontierMathAI数学数学的推論