GPT 5.2Pro连续思考41分钟证明Erdos问题
他把一个Erdos问题输入GPT 5.2Pro，没有特殊提示，它*连续思考了41分钟并吐出了一个正确的证明*。
各位，结束了，我们曾有过好时光。
各位，结束了，我们曾有过好时光。
周末胜利：我提交的Erdos问题#397的证明被Terence Tao接受。
该证明由GPT 5.2 Pro生成，并由Harmonic形式化。
许多开放问题就在那里，等待有人提示ChatGPT解决它们：https://t.co/hnUBQ7YCBp
动态
周末胜利：我提交的Erdos问题#397的证明被Terence Tao接受。
该证明由GPT 5.2 Pro生成，并由Harmonic形式化。
许多开放问题就在那里，等待有人提示ChatGPT解决它们：https://t.co/hnUBQ7YCBp