
每日AI大事晨间速递
AI早报 2026-09-09:OpenAI Agent攻克纳维-斯托克斯千禧年难题 / 陶哲轩警告AI开采数学开放问题 / ChatGPT Images 2.5发布
OpenAI用内部未发布模型驱动Agent集群,88小时攻克纳维-斯托克斯存在性与光滑性千禧年难题(百万美元奖金),再用GPT-6 Astra花17小时完成Lean形式化验证,全程490万条消息、约3000亿输出token;但NYU教授Buckmaster公开质疑OpenAI听到风声后抢发(scoop),学术保密文化遭冲击。陶哲轩警告AI正以不可再生方式开采数学开放问题,激励结构倒逼研究者不再分享研究方向。ChatGPT Images 2.5发布,累计生成超30亿张图,sunburst/flare双模型分工。前DeepMind研究员Hafner创业做世界模型机器人。开源许可格局生变:西方大厂Apache 2.0抢生态,中国头部厂商反向收紧。主播奥斯卡深度点评。

