100万美元的题，7500亿美元的算力赌局：OpenAI离“发现者”还差一张盖章的证

一道解出来官方只给100万美元的数学题，有人已经砸进去几百万美元的模型训练费，还准备用未来几年累计7500亿美元的算力盘子继续铺路。这事儿放哪个行业都像个笑话，但发生在OpenAI身上，反而成了2026年9月最值得盯住的商业信号。根据财联社援引知情人士的消息，OpenAI已经接近解决克雷数学研究所悬赏的千禧年大奖难题之一——霍奇猜想，内部员工预计不久后能拿下。就在九天前，这家公司刚宣布用88小时解决了描述流体运动规律的纳维-斯托克斯方程（也就是业内常说的NS方程），顺手公开了166页论文和一套叫Lean的机器验证代码。Lean这东西是个死心眼的证明助手，每一步推导都要被程序严格检查，错一个标点都过不去。紧接着，极客网报道了25位菲尔兹奖得主的联合声明，措辞很克制，但潜台词很直白：AI公司拿解难题当能力基准，跟数学界追求理解、提出新问题、培养人的目标不在一条线上，大规模生产答案可能在摧毁孕育思想的土壤。