先说结论：我不太信，但我挺希望它是真的。

就一条Reddit帖子，配一张模糊截图，说OpenAI有个未发布的模型，解掉了数学、量子复杂性和理论计算机科学领域10个开放问题。这要成真了，相当于AI把数学界的百年悬案当练习题做了，菲尔兹奖直接改名OpenAI奖算了。

但让我稍微多看一眼的，是另一个细节——某预测市场上关于"OpenAI今年内有论文成果"的赔率在短时间内出现明显波动。这种资金层面的异动，有时比官方公告更早知道内幕。当然，也可能是某个哥们儿用自己EA的钱在钓鱼。

这事有几个点值得掰扯：

一、验证本身就是个大问题。 数学证明不是考试交卷，一篇顶级论文从预印本到同行评审，动辄一两年。AI生成的结果，哪怕形式化验证通过了，人类数学家能不能理解它"为什么对"，是另一回事。可解释性这关过不去，实用性就打折。

二、"10个开放问题"这个数字太漂亮了。 数学领域真正重要的开放问题，每一个都是几十年的硬骨头。一次解10个，要么是挑了些相对边缘的小问题，要么就是在学术圈玩狼来了。

三、为什么用"未发布"这种带货词？ 藏着掖着的模型，发三张截图出来，既没有论文链接，也没有实验细节，全靠Anonymous的信任背书。这种宣发节奏，在OpenAI的产品史上倒不算新鲜，每次都搞得像谍战片。

我的猜测：这背后很可能是推理模型+形式化验证工具链的深度结合，AI负责给证明思路，机器负责查漏，人类负责写论文。这个方向本身是真实存在的，比如Lean、Coq这些证明助理，这两年跟大模型结合得很紧。所以逻辑上讲得通，但真要信，得等论文。

想验证也简单：盯着arXiv和几个顶会，如果半年内没有相关预印本流出，就当个乐子看。反正数学又跑不了，问题也不会因为AI出现就消失——倒是数学家们的身价，可能要先波动几天了。