OpenAI总裁宣布第二个千禧年数学难题取得重大进展
nashnova research
OpenAI总裁布罗克曼宣布在第二个千禧年难题上取得重大进展，外界猜测若指向P与NP问题，现代密码学与金融安全基础设施将面临根本性冲击。
第一个难题是怎么解的？
OpenAI调集约1万个推理智能体，持续运算88小时，共发送270万条消息、消耗约1300亿个输出token。
最终结论：光滑流体会在有限时间内产生奇点（一种数学上的"爆炸点"——流体的速度或压力在某一刻变得无穷大）。
全程用机器证明语言Lean（一种让计算机逐行检查数学推理是否正确的编程工具）完成形式化验证。这意味着→ 不是"AI说对就对"，而是每一步都经过机器逻辑闭环校验。
第二个难题可能是什么？为什么市场该关注？
尚未解决的千禧年难题还剩五道：P与NP问题、黎曼猜想、杨-米尔斯规范场与质量间隙、霍奇猜想、贝赫和斯维讷通-戴尔猜想。
科技界内部最受关注的猜测指向P与NP问题。用大白话说＝ 如果P等于NP被证明成立，意味着现在被认为"极难破解"的加密算法，理论上都可以被快速破解。
这意味着→ 非对称加密（互联网登录、银行转账、数字签名背后的核心安全机制）的数学根基会被动摇，整个金融与互联网安全基础设施需要重新评估。
学术产权争议是怎么回事？
纽约大学数学家巴克马斯特与Anthropic数学家阿尔珀格此前已在纳维尔-斯托克斯问题上取得初步进展，过程中使用了Codex和Claude。
巴克马斯特声称：其进展信息在公开前被传至OpenAI，OpenAI随后启动并行攻关，用未发布的新模型在约一周内消耗约3000亿输出token（按Astra费率约合2250万美元）发布完整证明。
巴克马斯特还称遭OpenAI数学家比贝克施压，被要求删除合作者署名，并受到"毁掉你的职业"等威胁。这反映出 AI公司与学术界在知识产权归属上的冲突正在急剧升温。
OpenAI怎么回应的？
布罗克曼公开声明：最终解题模型的训练数据截止于今年7月初，完全在外部学者成果公开之前，否认窥探或挪用私有数据。
但学界反弹仍在扩大——数百名数学家联名抵制OpenAI对加州理工学院首届"数学黑客马拉松"的赞助，OpenAI已被迫全面撤回支持。
纽约大学教授阿姆斯特朗的评价：「奇点已经开始了，只不过它的分布极度不均。」
顶尖算力该用来解数学题还是救命？
布罗克曼透露，GPT-5.5发布前夕OpenAI曾为算力配额精打细算，痛苦削减接口速率限制，称算力分配是当下"最难的一道资本与工程难题"。
公众质疑集中于：顶尖超算算力究竟应用于解决抽象数学猜想，还是攻克阿尔茨海默病、缩短新药研发周期等现实问题。
布罗克曼的逻辑是：能在数十步推演中不犯逻辑错误、用Lean代码完全闭环自洽的系统，一旦迁移至生命科学领域，将产生几何级数的跃升。用大白话说＝ 先在数学上证明AI的推理链条足够严密，再把同一套能力搬去做药物研发——数学是测试场，不是终点。
顶尖算力该花在抽象数学上吗？
BULL
推理能力可迁移
数学证明验证了AI长链推理的严密性，迁移到生命科学将产生跃升。
形式化验证是护城河
Lean闭环校验意味着推理可追溯、可复现，这套能力本身有巨大商业价值。
BEAR
机会成本太高
一次解题消耗约2250万美元算力，同等资源可直接投入疾病研究。
迁移尚未验证
从数学推理到分子动力学的跨领域迁移，目前还没有公开的实际成果。
用大白话说＝ 布罗克曼的逻辑是'先证明AI能严密推理，再搬去救命'——逻辑通顺，但'搬过去'这一步还没有被验证，这是当前争论的核心。
市场有风险，内容仅供研究参考，不构成投资建议。