反转：OpenAI 纳维-斯托克斯证明并未走「西班牙路线」，自己都没读懂
量子位 · wechat · 2026-10-15
《科学美国人》追踪报道揭示，OpenAI 宣称解决千禧年难题纳维-斯托克斯方程一个月后出现重大反转：数学家深入研读那份 166 页证明后发现，其构造外力的方式与此前 assumed 的西班牙数学家 Córdoba 与 Martínez-Zoroa 路线完全不同——连 OpenAI 自己都没搞清模型用了什么方法就发布了。关键点：
- OpenAI 的早期小规模 Agent 团队结果可能确实沿用了西班牙路线，但扩大到约 1 万 Agent 的系统后，最终证明换了一条路。
- 证明有 Lean 形式化代码验证逻辑成立，但「形式上成立」不等于人类理解数学思想，专家仍需借助其他 LLM 来梳理这份证明；模型是否训练接触过他人数据，OpenAI 否认但无法独立核查。
- 这印证了陶哲轩等人的担忧：AI 生成新证明的速度远超人类消化速度。OpenAI 随后又公开了 722 篇数学手稿（372 组成果），涉及霍奇猜想、BSD 猜想等。
「模型」频道最新
- DeepSeek V4.1 Flash 在 Fireworks 跑出 1521 tok/s，11 秒生成俄罗斯方块 — nicolechirps · 2026-10-23
- Claude 模型登陆 Google Cloud:Anthropic 托管版正式可用 — claudeai · 2026-10-23
- Beam 对战 GLM 5.3 去审查版：10 轮攻防修补 96% 漏洞 — bigblueboo · 2026-10-23
- GPT-6 网页版能真「听」音频，API 和 Codex 却不支持，用户实测揭秘 — Possible_Statement84 · 2026-10-23
- MiniMax M3.1 Flash 在 0G 平台限时免费 3 天,1M 上下文随便跑 — MiniMax_AI · 2026-10-23
- TLA+ 作者许强生纠错 Grok：TLC 并非穷举所有行为 — tianyin_xu · 2026-10-23