OpenAI 宣布解决 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 推迟发布最强模型 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 在内的全部消费者与企业产品团队及基础设施建设。

Emad Mostaque 转发 OpenAI 的公告并评论称这是迈向 ASI 的里程碑事件。OpenAI 宣布由一组智能体使用显著强于 GPT-6 Astra 的下一代模型，给出了 Navier-Stokes 千禧年大奖难题的一个 blow up 解，该问题涉及三维光滑流体运动的描述是否会崩溃，约 90 年未解。

Noam Brown 就 OpenAI 宣布以智能体组合求解 Navier-Stokes 千禧年大奖难题发表看法，承认这次证明花费数百万美元，但认为成本会快速下降。

特里斯坦·巴克马斯特（Tristan Buckmaster）与 Levent Alpöge 公开三项有限时间 blowup 结果，涵盖带光滑强迫的不可压缩多孔介质方程。