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

  • 情报分类：技术学习与提效
  • 分类依据：内容涉及技术、AI、软件工具或工程实践
  • 信息来源：服务器 / V2EX
  • 发布时间：2026/9/25 21:37:29