9月9日 AI 日报
1. OpenAI公布数学证明
OpenAI公开Navier–Stokes问题证明与Lean形式化代码：在施加光滑外力、能量有限的条件下，初始静止且光滑的流体可在有限时间形成奇点。官方称约1万个智能体协作求解，使用未发布内部模型；结果仍需独立审查，公司不申领千禧年奖金。
2. Meta推出Muse
面向美国18岁以上用户，可通过应用或WhatsApp交流，在专属云端虚拟机中处理表单、旅行及长期任务。关闭应用后仍可工作；Sentinel检查对外操作，发邮件、购买需批准。用户可调整权限、退出训练，设计不代表风险清零。
3. Images 2.5上线
向ChatGPT、ChatGPT Work和Codex各档用户推出，强化主体保留、局部修改和多轮一致性，加入Sketch、模板及图片批注。官方称延迟最多降低50%，实际取决于任务；API提供Flare与Sunburst。
4. AlphaGenome Atlas
预计算约90亿种DNA单核苷酸变异的分子影响，约1PB数据，以AVI评分辅助研究。覆盖编码与非编码区，非商业用途已开放，商业云端访问随后提供。不能替代实验验证或临床诊断。
5. Copilot企业沙箱
JetBrains版企业托管沙箱进入公开预览，组织策略优先于个人设置。需组织启用Editor Preview或配置托管开关，并非默认开启。
能力提升与验证机制同步推进。正文图片：Meta、Google DeepMind。
