AI或首次解决EpochAI前沿数学问题，使用GPT-5.4
如果属实，这将是AI解决的第一个@EpochAIResearch前沿数学开放问题。该结果来自单次GPT-5.4 Pro运行，随后用GPT-5.4 XHigh运行数小时精炼为Lean代码。
我们相信我们已在Lean和Python中完全解决了@EpochAIResearch一个前沿数学开放问题：一个关于超图的Ramsey风格问题。该结果来自单次GPT-5.4 Pro运行，随后用GPT-5.4 XHigh运行数小时精炼为Lean代码。
我们相信我们已在Lean和Python中完全解决了@EpochAIResearch一个前沿数学开放问题：一个关于超图的Ramsey风格问题。该结果来自单次GPT-5.4 Pro运行，随后用GPT-5.4 XHigh运行数小时精炼为Lean代码。