GPT-5.6补上了凸优化悬了30年的缺口，靠一份10页的prompt

一个来自r/math的帖子冲到了Hacker News第二名，459分：据称GPT-5.6给出了一个证明，把凸优化里一个悬了大约30年的缺口补上了。按帖子里业内评论者的说法：它证明了优化凸Lipschitz函数需要Omega(d^2)次函数求值——这个下界正好对上了一个30年前老算法的上界。意思是，那个老算法从头到尾就是最优的，这一类问题的复杂度就此定案。

先把丑话说在前面，因为它们重要：消息来源是reddit帖子，还没有经过同行评审的论文，证明本身还在被公开检查。但帖子里的领域专家说这是真贡献，不是炒作。而且它落在一条已经越敲越密的鼓点上——Erdos单位距离问题的反证、两周前的CDC证明、陶哲轩公开用vibe-coding做研究。前沿模型产出真正新的数学，已经不是孤立事件，是一个门类了。

最值得盯着看的细节：这事花了一份10页的prompt。要有一个对问题理解极深的人，先把它定义好、框好、约束好，模型才能把缺口补上。分工没有消失，只是挪了位置——人的贡献从找到证明，变成了把问题精确到机器能接手的程度。这就是harness那套论点在数学上的翻版：稀缺的能力是写spec，100倍的放大来自你确切知道该问什么。

讨论：news.ycombinator.com/item?id=48957779