看了 GPT 6 Astra 关于哥德巴赫猜想 2 页纸的证明，感受十分优雅，这种证明方式就像灵光一闪，提出了人类从没想到过的解题思路，这种行为 貌似又打破了人类创造力的边界：提出一个新的、低复杂度的思路。
但个例不能说明什么，但如果未来这种案例能持续出现，不是刷 benchmark ，不是穷举，不是把已有证明形式化，而是开放问题花几天时间，就获得一个新的短证明，那么 AI 发展的一个真正分水岭可能并不是 AGI 聊天能力，机器开始成为“稳定的原创思想生产者”。
这已经不是替代程序员的问题，而是底层上告诉我们，人类本身并不知道应该怎样去思考看待问题。
这是一个专为移动设备优化的页面（即为了让你能够在 Google 搜索结果里秒开这个页面），如果你希望参与 V2EX 社区的讨论，你可以继续到 V2EX 上打开本讨论主题的完整版本。
V2EX 是创意工作者们的社区，是一个分享自己正在做的有趣事物、交流想法，可以遇见新朋友甚至新机会的地方。
V2EX is a community of developers, designers and creative people.