本周第三个Erdos问题被GPT 5.2解决
哇，本周第三个通过 GPT 5.2 解决的 Erdos 问题！
周末成就：我提交的 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