厄尔多斯问题无疑是模型突破阈值的一个明确例子。 一年前，认为人工智能能够独自解决一个，更不用说多个，这种想法是疯狂的（o1刚刚问世），而现在我们在过去几周内已经有多个厄尔多斯问题被GPT-5.2 Pro解决。

明确一点：GPT-5.2 Pro 并不是自主解决这些问题，而是由人进行提示，并且它通常使用 Lean 进行迭代。

看起来之前已经找到了解决这个问题的证明，尽管它与发布者让GPT-5.2 Pro找到的证明不同。