GPT-5.4 Pro 80分钟解出Erdős问题1196

在我们等待大土豆模型发布之际，GPT-5.4 Pro 贡献了我理解中它对数学最令人印象深刻的成果。Erdős 问题 #1196 似乎被该模型攻克了——经过80分钟的思考，一次性解决。

Jared Lichtman：“我深切关心这个问题，已经思考了7年。我经常在会议上与Maynard讨论，并多年来咨询了几位专家……这个问题本身并非低可见度问题。更确切地说，它看起来是一个事后变得惊人紧凑的证明，但在众多类似变体中，其构造相当特殊。”