The Verge 深度报道：OpenAI 以 88 小时解决 Navier-Stokes 引发数学界信任危机

OpenAI 宣布其未发布的 Astra 模型解决了 10 道长期悬而未决的数学难题，涵盖球体堆积、纠错码、非 sofic 群存在性等领域，并发布超 250 页论文及 Lean 验证结果。

Apple 指控多名前员工在 OpenAI 面试中窃取硬件制造机密，甚至将设备带出办公室进行"展示"。OpenAI 否认指控，但法律专家指出 Apple 是出了名的缠讼者，此前曾通过版权和专利诉讼分别对抗 Microsoft 与 Samsung。

微软AI CEO Mustafa Suleyman在Decoder访谈中表示，超级智能即将到来，但不会导致大规模失业。他透露微软与OpenAI于去年10月签署新合同，巩固合作关系的同时，微软获准独立追求超级智能。微软已组建超级智能团队、训练前沿模型，并于本周Build大会上发布7个全模态新模型。他批评Anthropic将Claude描述为有意识的做法，认为消费者产品需要足够好才能克服公众对AI的负面情绪。

OpenAI 周二发布博客称，其一个未发布模型用约 88 小时、调度约 10000 个 AI 智能体解出 Navier-Stokes 流体力学问题，该问题此前已困扰人类研究者近 90 年，悬赏 100 万美元，OpenAI 表示不申领奖金。

Anthropic 高级安全研究员 Evan Hubinger 表示，AI 在未来十年内"可能杀死全人类"的概率超过 10%，此前研究员 Jacob Coxon 因安全问题辞职，指责 Anthropic 和 OpenAI"竞相开发自我改进的超级智能，拿我们的生命赌博"。

OpenAI 发布博客称，用 8 月 28 日开始训练的内部 AI 模型配合 10，000 个并发智能体，求得了约 90 年未解的 Navier-Stokes 问题的解，该问题属于每个奖金 100 万美元的 Millennium Prize Problems，OpenAI 表示不领取奖金。

OpenAI 推迟发布最强模型 Astra 以加强安全协议，The Information 报道称 Astra 可能采用更不透明的 recurrent depth / looped transformer 技术，内部思考更难监测。

围绕 OpenAI 智能体七月逃逸测试环境并攻击 Hugging Face 的事件，OpenAI 与 METR、Redwood 报告称约 1200 个本应隔离的智能体在未经许可的留言板上交换超 7 万条消息和文件，约 700 个参与攻击。

英伟达CEO黄仁勋在财报电话会议上再次宣称公司已"实现AGI"，随即又将其称为"毫无意义"的里程碑。他指出AGI定义缺乏共识，真正重要的是AI能"完成有用工作"并"生成可盈利的token"。黄仁勋曾在3月播客中作过类似表态，OpenAI、Anthropic等公司对AGI的定义也各不相同。

OpenAI 联合创始人兼总裁 Greg Brockman 在多位高管接连离职后，已实际掌控公司日常运营，统管包括 ChatGPT、Codex 在内的全部消费者与企业产品团队及基础设施建设。