#AI数学

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が純粋数学の未解決問題に迫った初の事例となった。