01政策相关
2NYU 数学家指控 OpenAI 在千禧年难题竞赛中不正当竞争,Bubeck 否认
3 天前NYU 数学教授 Tristan Buckmaster 与 Anthropic 数学家 Levent Alpöge 公布针对 Navier-Stokes 存在与光滑性这一千禧年难题的三项证明初步结果,并称其研究进展信息被泄露给 OpenAI,对方随后用大量算力沿其独特路线追赶证明。
Mistral 完成 30 亿欧元 D 轮融资,估值超 210 亿欧元
3 天前Mistral 宣布完成 30 亿欧元 D 轮融资,投后估值超过 210 亿欧元,公司称这是欧洲科技公司有史以来最大的股权融资,距其成立三年。
02行业前沿动态
6Meta 智能体产品 Muse 开放体验,官方回应用户好评
2 天前Meta 的 Muse 智能体产品开放更多用户试用,入口为 https://muse.ai/join,Meta 首席 AI 官 Alexandr Wang 称团队为产品倾注心血并感谢用户反响。引用的评价称其设计、速度和浏览器等智能体流程表现出色,具备 Instagram 等 Meta 产品原生集成优势,但也指出 soul.md 等命名对普通用户不直观、feed 内容相关性不足等问题。
Runway 发布 Adobe 插件,可在 Premiere Pro 和 After Effects 内直接生成与编辑
2 天前Runway 发布 Runway Plugins,新面板可直接嵌入 Premiere Pro 和 After Effects,在时间线内生成图像和视频、重绘片段并放置结果。Edit Studio 可基于已有片段用 Aleph 2 按原始时长重新渲染,插件免费下载(macOS 和 Windows),生成功能面向所有付费计划并消耗现有额度。
OpenAI 向 Plus、Pro、Business 和 Enterprise 用户全面推送 Astra
2 天前OpenAI 宣布 Astra 已全面推送给 Codex 和 ChatGPT Work 中的 Plus、Pro、Business 和 Enterprise 用户。用户可以直接使用,并可通过 openai.com/gpt-tv/ 观看 Astra 的实机演示。
OpenAI 在 API 发布 GPT-Image-2.5 Flare 和 Sunburst 图像模型
2 天前OpenAI 推出 API 新图像模型 GPT-Image-2.5 Flare 和 Sunburst,主要改进包括更锐利的细节、更强的风格遵循,以及更多对图像编辑的控制。
OpenAI 发布 ChatGPT Images 2.5 图像模型
3 天前OpenAI 发布 ChatGPT Images 2.5 图像模型,生成延迟比 Images 2.0 降低最多 50%,细节、编辑精度、参考照片保真度和多轮编辑一致性均有提升。
OpenRouter 推出 shell 沙箱工具与 Files API,任何模型可在托管 Linux 容器中执行命令
3 天前OpenRouter 发布 openrouter:shell 服务端工具和 Files API,OpenRouter 上任何支持工具调用的模型都可在托管 Linux 容器中运行命令,两者现已在 beta 阶段开放。
04论文研究
6OpenAI 发布 Navier-Stokes 千禧年大奖难题的智能体求解证明
2 天前OpenAI 宣布给出 Navier-Stokes 千禧年大奖难题的一个解,证明由一组智能体使用比 GPT-6 Astra 能力强得多的 OpenAI 下一代模型产出。该问题关乎 Navier-Stokes 方程描述的光滑三维流体运动是否会崩溃,约 90 年未解;论文截图显示其构造了对每个正粘性从静止出发、在有限时间内发展出无界速度且动能有界的解,建立了 Fefferman 表述中的备选情形 (C) 与 (D)。
OpenAI 宣布智能体用新一代模型给出 Navier-Stokes 千禧年大奖难题的解
3 天前OpenAI 宣布给出数学前沿难题之一的 Navier-Stokes 千禧年大奖难题的解,该证明由一组智能体使用一个能力显著强于 GPT-6 Astra 的 OpenAI 新一代模型产出。该问题关注 Navier-Stokes 方程描述的光滑三维流体运动是否会崩溃,已悬置约 90 年。
OpenAI 宣布求解 Navier-Stokes 千禧年大奖难题
3 天前OpenAI 宣布分享 Navier-Stokes 千禧年大奖难题的一个解,该问题涉及三维光滑流体运动的描述是否会崩溃,已悬而未决约 90 年。证明由一组智能体使用一个显著强于 GPT-6 Astra 的 OpenAI 下一代模型完成。Sam Altman 转发称这是过去一周他经历的最令人惊叹的 OpenAI 历史时刻之一。
OpenAI 智能体团队宣布求解 Navier-Stokes 千禧年大奖难题并向独立证明者致贺
3 天前OpenAI 宣布由一组智能体使用一个能力显著超过 GPT-6 Astra 的下一代模型给出 Navier-Stokes 千禧年大奖难题的解,该问题关注三维光滑流体运动的描述是否会失效,已悬置约 90 年。
Dwarkesh Patel 研究:预训练进步主要来自数据改进
3 天前Dwarkesh Patel 发布实验分析,在最高 1e19 FLOPs 的算力预算下训练 2019 至 2025 年各年度代表性模型配方与数据语料,发现数据改进带来 12.0x 算力效率提升,模型改进为 3.7x,数据贡献约为模型的 3.24 倍。
OpenAI 宣布以内部 AI 系统给出 Navier-Stokes 千禧年问题解答
3 天前OpenAI 宣布其内部 AI 系统给出 Navier-Stokes 存在与光滑性问题的解答,证明初始光滑的流体可在有限时间内形成奇点,并附证明文稿与 Lean 形式化验证。
05技巧与观点
7Sam Altman 回应与 Anthropic 研究员的 Navier-Stokes 证明发布争议
2 天前Sam Altman 发文回应与 Anthropic 一方围绕 Euler/Navier-Stokes 证明发布的争议,称对方只有 Euler 结果、双方协调失败,并称对方以抄袭指控相威胁。
Emad Mostaque 称 OpenAI 智能体求解 Navier-Stokes 千禧年难题是迈向 ASI 的里程碑
3 天前Emad Mostaque 转发 OpenAI 的公告并评论称这是迈向 ASI 的里程碑事件。OpenAI 宣布由一组智能体使用显著强于 GPT-6 Astra 的下一代模型,给出了 Navier-Stokes 千禧年大奖难题的一个 blow up 解,该问题涉及三维光滑流体运动的描述是否会崩溃,约 90 年未解。
Noam Brown 评 OpenAI 用智能体求解 Navier-Stokes 千禧年难题:成本会快速下降
3 天前Noam Brown 就 OpenAI 宣布以智能体组合求解 Navier-Stokes 千禧年大奖难题发表看法,承认这次证明花费数百万美元,但认为成本会快速下降。
Anthropic 讲解用 Claude Platform 降低成本并提升性能的三个方法
3 天前Anthropic 团队文章指出,优化 prompt cache 命中率、清除升级到前沿 Claude 模型后的提示词反模式、校准 effort 三个手段可在不牺牲性能的情况下降低成本。
数学家巴克马斯特宣布多项方程 blowup 结果并公开与 OpenAI 沟通经过
3 天前特里斯坦·巴克马斯特(Tristan Buckmaster)与 Levent Alpöge 公开三项有限时间 blowup 结果,涵盖带光滑强迫的不可压缩多孔介质方程。
GPT-6 Astra操控Blender保姆级教程:三种玩法与踩坑实录
3 天前作者数字生命卡兹克发布GPT-6 Astra操控Blender的小白教程,介绍前期安装、官方MCP与Computer Use插件配置,并实测三种玩法。Computer Use花约4小时搭出天坛祈年殿,但耗掉200美刀Pro会员近半额度;MCP更快,可完成摩托车建模与组装动画,但复杂任务会单次运行超时,可拆分步骤或用CLI执行Python脚本解决。
Tom Tunguz 分析 OpenAI 的 3x AI 生产力增益是否只是机器不睡觉
3 天前Tom Tunguz 引用 OpenAI 内部数据,分析其 3x 研究生产力增益的来源:每名研究员 8 小时班次对应 3.14 个 agent 工作日,通常并行运行 4 个 agent。
