AI 成功解决超图领域的 Ramsey 型开放数学难题

Epoch AI 近期发布了关于“FrontierMath”开放问题集的一项重大进展：一个关于超图（Hypergraphs）的 Ramsey 型数学难题已被 AI 成功解决。该问题由北卡罗来纳大学夏洛特分校的 Will Brian 教授提出，核心任务是构造尽可能大的超图，使其不包含特定规模的“划分”（partition）。

核心突破： 独立研究人员 Kevin Barreto 和 Liam Price 利用 GPT-5.4 Pro 率先攻克了这一难题。Brian 教授确认，AI 提出的方案不仅证明了其方法的正确性，还消除并优化了此前人类构造中的低效部分，实现了匹配的上下界。这在 Ramsey 理论研究中是一个非常令人兴奋的成果，目前相关论文正在准备发表中。

AI 模型表现： 在 Epoch AI 的评估中，多个前沿模型展现了卓越的数学推理能力：

• GPT-5.4 Pro、Claude Opus 4.6 (max) 和 Gemini 3.1 Pro 均成功解决了该问题的“完整版本”。
• 相比之下，较早的模型（如 GPT-5.2 Pro）甚至在入门级的“热身”版本中都表现不佳，这凸显了 AI 在复杂逻辑与数学构造能力上的飞跃。

社会与学术意义： 根据数学家调查，该问题通常需要领域专家花费 1 到 3 个月的时间才能解决。AI 的成功介入不仅显著缩短了研究周期，更证明了大型语言模型已具备参与解决前沿、开放性数学研究的能力，为未来的科研协作提供了新范式。