精选 18 条今日最重要的 AI 新闻，OpenAI 以 AI 系统破解 Navier-Stokes 千禧年难题领衔
OpenAI 宣布其内部 AI 系统给出 Navier–Stokes 存在与光滑性问题的解答，证明初始光滑的流体可在有限时间内形成奇点，并附证明文稿与 Lean 形式化验证。这是克雷数学研究所七大千禧年大奖难题之一，悬赏 100 万美元。该成果标志着 AI 系统在纯数学领域的重大突破，引发学术界广泛讨论与争议。
OpenAI 发布 ChatGPT Images 2.5 图像模型，生成延迟比 Images 2.0 降低最多 50%，细节、编辑精度、参考照片保真度和多轮编辑一致性均有提升。
Runway 发布 Runway Plugins，新面板可直接嵌入 Premiere Pro 和 After Effects，在时间线内生成图像和视频、重绘片段并放置结果。Edit Studio 可基于已有片段用 Aleph 2 按原始时长重新渲染，插件免费下载（macOS 和 Windows），生成功能面向所有付费计划并消耗现有额度。
OpenAI 宣布 Astra 已全面推送给 Codex 和 ChatGPT Work 中的 Plus、Pro、Business 和 Enterprise 用户。用户可以直接使用，并可通过 openai.com/gpt-tv/ 观看 Astra 的实机演示。
Suno 发布其首个与唱片 industry 合作制作的 AI 音乐模型，标志着 AI 音乐生成领域与传统音乐产业的重要合作里程碑。该模型在版权合规方面迈出关键一步。
Amazon Prime Video 发布新 AI 技术，可实现配音音频与角色口型的精准匹配，大幅提升多语言观影体验。该技术利用 AI 视觉和音频模型，让 dubbing 更加自然逼真。
Mistral 宣布完成 30 亿欧元 D 轮融资，投后估值超过 210 亿欧元，公司称这是欧洲科技公司有史以来最大的股权融资，距其成立三年。
Paul Christiano，一位专注于 AI 对齐的有影响力的研究者，已加入 OpenAI Foundation 担任董事会成员。这一人事变动表明 OpenAI 正在加强其在 AI 安全方面的治理力度。
NYU 数学教授 Tristan Buckmaster 与 Anthropic 数学家 Levent Alpöge 公布针对 Navier-Stokes 存在与光滑性这一千禧年难题的三项证明初步结果，并称其研究进展信息被泄露给 OpenAI，对方随后用大量算力沿其独特路线追赶证明。
Anthropic 研究员 Jacob Coxon 因 AI 灭绝恐惧辞职，呼吁各实验室之间达成节奏协议（pacing agreements）。他在公开声明中称"我们在拿生命赌博"，要求对前沿 AI 开发施加更严格的自我约束。
Dwarkesh Patel 发布实验分析，在最高 1e19 FLOPs 的算力预算下训练 2019 至 2025 年各年度代表性模型配方与数据语料，发现数据改进带来 12.0x 算力效率提升，模型改进为 3.7x，数据贡献约为模型的 3.24 倍。
OECD 最新 PISA 分析显示，在学校使用 AI 工具的学生在各项评估中得分普遍低于不使用 AI 的同龄人。该研究引发关于 AI 在教育中角色的广泛讨论，提示需谨慎评估 AI 辅助学习的实际效果。
Noam Brown 就 OpenAI 宣布以智能体组合求解 Navier-Stokes 千禧年大奖难题发表看法，承认这次证明花费数百万美元，但认为成本会快速下降。
Sam Altman 发文回应与 Anthropic 一方围绕 Euler/Navier-Stokes 证明发布的争议，称对方只有 Euler 结果、双方协调失败，并称对方以抄袭指控相威胁。
特里斯坦·巴克马斯特（Tristan Buckmaster）与 Levent Alpöge 公开三项有限时间 blowup 结果，涵盖带光滑强迫的不可压缩多孔介质方程。
Anthropic 团队文章指出，优化 prompt cache 命中率、清除升级到前沿 Claude 模型后的提示词反模式、校准 effort 三个手段可在不牺牲性能的情况下降低成本。
Tom Tunguz 引用 OpenAI 内部数据，分析其 3x 研究生产力增益的来源：每名研究员 8 小时班次对应 3.14 个 agent 工作日，通常并行运行 4 个 agent。
作者数字生命卡兹克发布GPT-6 Astra操控Blender的小白教程，介绍前期安装、官方MCP与Computer Use插件配置，并实测三种玩法。Computer Use花约4小时搭出天坛祈年殿，但耗掉200美刀Pro会员近半额度；MCP更快，可完成摩托车建模与组装动画，但复杂任务会单次运行超时，可拆分步骤或用CLI执行Python脚本解决。