AI 数学研究重大突破:GPT-5.4 Pro 等模型成功解决超图 Ramsey 难题
人工智能在科学研究领域的应用再次取得里程碑式进展。Epoch AI FrontierMath开放问题集中的一个超图Ramsey理论难题已被多个先进AI模型成功攻克,其中包括GPT-5.4 Pro、Claude Opus 4.6 (max)、Gemini 3.1 Pro以及GPT-5.4 (xhigh)。这一突破标志着AI在高级数学推理和原创性研究方面迈出了重要一步。 该问题的核心挑战在于改进已知的H(n)下界估计。此前的最佳结果给出了一个递归定义的下界k_n,但研究者普遍认为这个下界并非最优,即使在渐近意义下也存在改进空间。问题的目标是找到新的超图构造方法,从而证明H(n) ≥ c·k_n对于某个常数c > 1成立。 据了解,该问题的首个解决方案由Kevin Barreto和Liam Price使用GPT-5.4 Pro获得。AI模型不仅成功找到了满足条件的超图构造算法,还提供了完整的数学论证。问题的贡献者、数学家Will Brian审阅了解决方案后予以确认,并评价道:"这是一个令人兴奋的解决方案。我之前曾怀疑AI的方法是否可行,但现在看来它完美地实现了。它消除了我们下界构造中...
