作协诉 OpenAI 案新动议披露 GPT-5 可代笔乔治·R·R·马丁撰写《冰与火之歌》等证据
多名图书作者向纽约联邦法院提交简易判决动议，涉及 194 部图书，要求认定 OpenAI 未经许可复制作品且不构成合理使用。
#OpenAI
#OpenAI
今日 12 条IT之家（RSS）AI 评分7171 Gary Marcus：The Road to AI We Can Trust（RSS）AI 评分5959 Gary Marcus 转述 Terence Tao 与前 Anthropic 员工 Jacob Coxon 的两条 AI 警告
Gary Marcus 归纳两条警告：Terence Tao 连发三帖，担忧 AI 缺乏智识品味、解题不等于新洞见，并以 OpenAI 在 Navier-Stokes 争议中花费 2250 万美元抢先 Alpöge 和 Buckmaster 为背景，呼吁透明度；刚从 Anthropic 离职的 Jacob Coxon 则发文警告前沿实验室的未来风险。
Rohan Paul@rohanpaul_aiAI 评分7171Meta 发布面向个人事务的 Muse AI 智能体，由 Muse Spark 1.3 模型驱动，可连接邮箱、日历、购物和支付服务，并在应用关闭后持续工作。
公众号：数字生命卡兹克精选AI 评分7070 GPT-6 Astra推理等级怎么选才最省Token
卡兹克发文讲解GPT-6 Astra的推理强度等级（Reasoning Effort）含义，指出各档位是同一模型的不同思考预算，Ultra则类似拉起多个智能体协作的专项工作组。
推荐理由：作者基于烧完两个200刀会员的第一手使用体感，给出推理等级的通俗解释和分档位省Token的具体用法。
Tibo@thsottiauxAI 评分5555Epoch AI：研究、数据与评测AI 评分5656 Epoch AI 推出 AI Chip Users explorer，估算五大前沿实验室算力使用量
Epoch AI 推出 AI Chip Users explorer，以 Nvidia H100 等效值（H100e）估算 OpenAI、Google DeepMind、Anthropic、Meta Superintelligence Labs 和 SpaceXAI 用于研究、训练和推理的算力。
IT之家（RSS）AI 评分7171 OpenAI 发布 ChatGPT Images 2.5，延迟降低 50% 并新增 Sketch 草图
OpenAI 于 9 月 9 日发布图像生成模型 ChatGPT Images 2.5，在细节锐度、自然光照和纹理提升的同时，延迟较 2026 年 4 月的 Images 2 最多降低 50%。
IT之家（RSS）AI 评分7878 OpenAI 宣布用约 10000 个 AI 智能体 88 小时解决纳维-斯托克斯问题，陶哲轩点赞并表担忧
OpenAI 于 9 月 8 日宣布，其未公开的内部模型（性能远超 GPT-6 Astra）解决了千禧年大奖难题之一的纳维-斯托克斯存在性与光滑性问题，通过约 10000 个 AI 智能体协作在约 88 小时内生成了证明，证明初始平滑流体可在有限时间内出现奇点。
Simon Willison 博客AI 评分8282 Simon Willison 评 OpenAI 用未发布模型求解 Navier–Stokes 千禧年大奖难题之争
OpenAI 用未发布模型在约88小时内给出 Navier–Stokes 存在与光滑性问题（七大千禧年难题之一）的解答，并通过 GPT‑6 Astra 完成17小时 Lean 形式化验证，全程发送490万条消息、消耗约3000亿输出 token。
Simon Willison 博客AI 评分6969 OpenAI 发布 ChatGPT Images 2.5 图像生成模型
OpenAI 推出 ChatGPT Images 2.5，官方称其图像模型已在 ChatGPT Images 和 API 的 GPT-Image 模型中生成超过 30 亿张图片。
Greg Brockman@gdbAI 评分6363
Epoch AI@EpochAIResearchAI 评分5555Ars Technica：AI（RSS）AI 评分5353 微软9月补丁日修复约972个漏洞创纪录，其中112个为严重级别
微软9月补丁日修复约972个漏洞，创历史纪录，其中112个达到严重级别，而两个月前的纪录还是570个。文章提到 OpenAI、Anthropic、Google、Microsoft 等超过100家公司和组织两周前发布公开信，警告 AI 加持的攻击正在压缩漏洞修补窗口，Zero Day Initiative 研究员 Dustin Childs 称这种激增是“新常态”。
The Verge：AI（RSS）AI 评分7575 OpenAI 宣布解决 Navier-Stokes 问题，引发数据使用争议
OpenAI 发布博客称，用 8 月 28 日开始训练的内部 AI 模型配合 10,000 个并发智能体，求得了约 90 年未解的 Navier-Stokes 问题的解，该问题属于每个奖金 100 万美元的 Millennium Prize Problems，OpenAI 表示不领取奖金。
Runway@runwaymlAI 评分5151
OpenAI@OpenAI精选AI 评分6565推荐理由：原文给出了 Astra 的正式开放范围和覆盖产品，读者可以确认自己的订阅计划是否已可用。
- Greg Brockman@gdbAI 评分5353
The Verge：AI（RSS）AI 评分6666 OpenAI 发布 ChatGPT Images 2.5，新增 Sketch 涂鸦生图功能
OpenAI 于周二发布 ChatGPT Images 2.5，并推出新功能 Sketch，用户在聊天框输入 @Sketch 即可弹窗手绘涂鸦，再让 ChatGPT 依草图生成图像，还能直接在图片局部留言修改。
Manus@ManusAIAI 评分6464
Sam Altman@samaAI 评分5757Tomer Tunguz 博客（VC 分析）精选AI 评分6767 Tom Tunguz 分析 OpenAI 的 3x AI 生产力增益是否只是机器不睡觉
Tom Tunguz 引用 OpenAI 内部数据，分析其 3x 研究生产力增益的来源：每名研究员 8 小时班次对应 3.14 个 agent 工作日，通常并行运行 4 个 agent。
推荐理由：文章用 OpenAI 自己披露的数据拆解 3x 生产力说法，指出其中一半工作仍需人工干预且推理成本激增 40 倍。
Aravind Srinivas@AravSrinivasAI 评分7878- Rohan Paul@rohanpaul_aiAI 评分7474
Dongxi 东锡 NLP@dongxi_nlpAI 评分7373OpenAI 宣布用一组 Agent 基于比 GPT-6 Astra 能力更强的下一代模型给出纳维–斯托克斯千禧年大奖难题的证明，该问题关于三维光滑流体运动是否会失稳，已悬置约 90 年。
Yuchen Jin@Yuchenj_UWAI 评分5656
🚨 AI News | TestingCatalog@testingcatalogAI 评分5454
OpenAI Developers@OpenAIDevs精选AI 评分5959OpenAI 推出 API 新图像模型 GPT-Image-2.5 Flare 和 Sunburst，主要改进包括更锐利的细节、更强的风格遵循，以及更多对图像编辑的控制。
推荐理由：原文给出两款新图像模型在细节、风格遵循和编辑控制上的能力变化，读者可以据此判断 API 图像工作流的升级点。
SemiAnalysis@SemiAnalysis_AI 评分6868OpenAI 宣布分享 Navier-Stokes 千禧年大奖难题的一个解法，该问题涉及 Navier-Stokes 方程描述的三维光滑流体运动是否会失稳，已悬置约 90 年。
- Rohan Paul@rohanpaul_aiAI 评分6666
- Greg Brockman@gdbAI 评分5757
- OpenAI@OpenAI精选AI 评分5757
推荐理由：官方列出了速度、保真度和多次编辑一致性等具体改进点，读者可据此评估是否更新自己的图像生成工作流。
OpenAI：官网动态（RSS · 排除企业/客户案例）精选AI 评分7979 OpenAI 发布 ChatGPT Images 2.5 图像模型
OpenAI 发布 ChatGPT Images 2.5 图像模型，生成延迟比 Images 2.0 降低最多 50%，细节、编辑精度、参考照片保真度和多轮编辑一致性均有提升。
推荐理由：官方原文给出与 Images 2.0 的具体对比数据、新功能入口和 API 双模型分工，读者可以据此评估是否迁移现有图像工作流。
- Rohan Paul@rohanpaul_aiAI 评分8282
Aidan Gomez@aidangomezAI 评分5454OpenAI：官网动态（RSS · 排除企业/客户案例）精选AI 评分8686 OpenAI 宣布以内部 AI 系统给出 Navier–Stokes 千禧年问题解答
OpenAI 宣布其内部 AI 系统给出 Navier–Stokes 存在与光滑性问题的解答，证明初始光滑的流体可在有限时间内形成奇点，并附证明文稿与 Lean 形式化验证。
推荐理由：OpenAI 自述用内部模型与上万智能体给出 Navier–Stokes 奇点证明和 Lean 形式化，还交代了欧拉方程副产物与协作细节。
- Sam Altman@samaAI 评分7878
- Sam Altman@sama精选AI 评分7373
Sam Altman 发文回应与 Anthropic 一方围绕 Euler/Navier-Stokes 证明发布的争议，称对方只有 Euler 结果、双方协调失败，并称对方以抄袭指控相威胁。
推荐理由：Sam Altman 一方就 Navier-Stokes 证明争议公开己方叙述，读者可以对照双方说法理解这场跨公司协调纠纷。
Noam Brown@polynoamialAI 评分6767TechCrunch：AI（RSS）精选AI 评分8585 NYU 数学家指控 OpenAI 在千禧年难题竞赛中不正当竞争，Bubeck 否认
NYU 数学教授 Tristan Buckmaster 与 Anthropic 数学家 Levent Alpöge 公布针对 Navier-Stokes 存在与光滑性这一千禧年难题的三项证明初步结果，并称其研究进展信息被泄露给 OpenAI，对方随后用大量算力沿其独特路线追赶证明。
推荐理由：原文记录了数学家与 OpenAI 就千年难题证明优先权展开的争议细节，以及双方各自的公开回应，可帮读者了解 AI 参与数学研究引发的信任问题。
Nathan Lambert@natolambertAI 评分5454