Erdos 問題明確地例證了模型突破閾值的情況。一年前，AI 能夠獨自解決一個，更不用說多個，這個想法是瘋狂的（o1 剛剛問世），而現在我們在過去幾週內已經有多個 Erdos 問題被 GPT-5.2 Pro 解決。

為了澄清：GPT-5.2 Pro並不是自主解決這些問題，而是由人員提示，並且經常使用Lean進行迭代。

看起來這個問題之前已經找到了一個證明，儘管它與發帖者讓 GPT-5.2 Pro 找到的證明不同。