2026/09/25
貌似知道了 OpenAI 为什么最近一直利用大量的资源在解决数学问题。
看了 GPT 6 Astra 关于哥德巴赫猜想 2 页纸的证明,感受十分优雅,这种证明方式就像灵光一闪,提出了人类从没想到过的解题思路,貌似又打破了人类创造力的边界:提出一个新的、低复杂度的思路。但个例不能说明什么,但如果未来这种案例能持续出现,不是刷 benchmark,不是穷举,不是把已有证明形式化,而是开放问题花几天时间,就获得一个新的短证明,那么 AI 发展的一个真正分水岭可能并不是 AGI 聊天能力,机器开始成为“稳定的原创思想生产者”。
这已经不是替代程序员的问题,而是底层上告诉我们,人类本身并不知道应该怎样去思考看待问题。

