OpenAI 是如何构造 Navier–Stokes 有限时间奇点的？
从轴对称带旋流的涡核出发，采用各向异性自相似尺度：径向快速收缩、轴向收缩略慢，使核心变成细长旋转流体柱，从而让局部速度趋于无界而整体动能仍受控。
OpenAI 攻克千禧难题？深度拆解 1 万个 Agent 如何造出流体奇点
资讯摘要
作者丨 郑佳美 编辑丨岑 峰  
AI 摘要
雷峰网深度拆解 OpenAI 声称针对 Navier–Stokes 千禧年问题的有限时间奇点构造：内部模型配合约 1 万个 Agent 持续搜索约 88 小时，再用 Lean 完成形式化。文章分析各向异性自相似尺度、高频振荡合成雷诺应力、多层残差修正，以及万级 Agent 搜索与形式化验证的分工，并提及与 Buckmaster 团队成果来源的争议。
AI 问答
约 1 万个 Agent 在证明中承担什么工作？
在高维非凸约束空间中并行搜索自相似剖面、参数范围、应力方向与局部引理，并记录失败路线；Navier–Stokes 路线最终产生约 270 万条消息和 1300 亿输出 token。
Lean 和 Comparator 分别起什么作用？
Lean 把证明链显式形式化，确保每步依赖闭合、防止逻辑漏洞；Comparator 用独立形式化的原始命题检查目标表述是否被悄悄弱化或替换。
更多资讯
实习生1天消耗1亿Token被约谈：如何衡量Token的ROI
潘功胜最新文章：深刻认识中国金融结构变迁（全文）
19.98 万元起，吉利银河战舰 700 开启预售，最高 1129 匹马力，还有三电机四驱圆桌：探路·产业分工的新图谱，看到新未来——国家力量如何转化为产业价值 | 36氪 2026产业未来大会
HYROX比赛腹泻这事，运动员拼归拼，但主办方不能装看不见
探秘柬埔寨，千年吴哥窟
AI for everyone in every language
缓存不该困在一台服务器里Denuvo 起诉黑客违反 DMCA 反规避条款芯片从业者拆解OpenAI造芯，还能再快3个月？
HTTP 新增 QUERY 方法：有人叫好，也有人质疑“这不就是 GET？”王强宇履新百望：从发票SaaS工具，到财税垂直大模型，再到企业的Palantir
我的“一人公司”，是怎么搞钱的？
Dense vs. MoE Models: Active Parameters, Throughput, and When to Choose Each
豆包工作和飞书，把中国第一个团队 Agent 拉进了工作群英国殖民之前的澳大利亚原居民人口约 222 万
耐克和lululemon双双失速，运动品牌进入碎片化时代
字节6年，如何一步步走上带20人团队的leader
美国加密新规又黄了8点1氪丨8月一线城市房价上涨；携程上架510万一张的太空旅行船票；字节跳动上半年净利润出现下滑，但海外收入占比再创新高
从200亿收购失败到650亿IPO：Figma如何用“协作”颠覆设计帝国
Arc主网上线 生态内有哪些项目？
“裁判”不想给阿莫迪吹暂停工作流可以自我进化了，英伟达开源 SoL-Pi，每小时省13.5刀！亚太唯一！腾讯云首次入选IDC MarketScape 全球托管边缘服务领导者类别510万一张！携程上架太空旅行船票：已有681人购买，还得自己买保险；娃哈哈因拖欠员工公积金被查封办公楼；华为放权！问界将由赛力斯主导
Your Agent Aced the Task. Will It Do It Again?2nm天玑9600 Pro，把旗舰SoC竞争推向「融合计算」
AI没有泡沫 只有割裂
关于项目交付的思考：部署是最后两公里，验收才是最后一公里