数学家表示，OpenAI 并不理解自己的纳维–斯托克斯证明
发生了什么
据《科学美国人》报道，数学家对 OpenAI 对其潜在纳维–斯托克斯证明的描述提出异议，称该证明与所引用方法的相似之处只是表面上的。这份 166 页的证明以 Lean 编写，目前仍由克雷数学研究所审查。OpenAI 研究员 Noam Brown 也表示，在没有对比测试的情况下，约 10,000 个模型实例的贡献仍不明确；他将不到 10% 的成功归因于多智能体设置。
接下来读什么
今日还有哪些重要变化Mistral 发布改进版 Mistral Large 4 开放权重模型，面向编程和网络安全每天一封，跟上 AI 的重要变化
模型发布、价格变化、算力进展，附原始来源。免费，确认后开始发送，随时一键退订。 看一份往期日报 · 2026-10-30