2026-09-09 AI动态

行业动态09-09 01:32

NYU 数学家指控 OpenAI 千禧难题不正当竞争

NYU 教授 Buckmaster 与 Alpöge 称，其 Navier-Stokes 三项证明初步结果遭泄露，OpenAI 用大量算力沿其路线追赶证明。

评对数学界而言，AI 公司与学术界的算力鸿沟正在改写研究伦理边界。若未发表成果可被对手凭泄露信息用万卡算力复刻，开放合作的动力会被削弱。OpenAI 否认指控，但事件已凸显千禧难题竞赛中'谁先证明'的归属争议。

源：TechCrunch：AI（RSS）阅读原文

产品发布09-09 05:58

Runway Plugins 嵌入 Premiere Pro 与 After Effects，可生成图像视频、重绘片段，基于 Aleph 2 按原时长重新渲染，插件免费。

评视频后期工作流正从'工具切换'走向'在剪辑软件内直接生成'。Runway 借 Aleph 2 嵌入 PR/AE，意味着 AI 生成与精修的边界进一步模糊，对广告、短剧、自媒体团队的产能提升最直接。

源：Runway：News（网页）阅读原文

论文研究09-08 18:00

OpenAI 宣布其内部 AI 系统给出 Navier-Stokes 存在与光滑性问题的解答，证明初始光滑流体可在有限时间内形成奇点，并附证明文稿与 Lean 形式化验证。

评这是首个由 AI 系统完成、且带 Lean 机器验证的重大数学猜想突破。可机器检验的证明降低了'对错争议'成本，但'AI 是否真正理解'的质疑仍在——它更像强大的证明搜索器而非洞察源。

源：OpenAI：官网动态（RSS · 排除企业/客户案例）阅读原文

模型发布09-08 19:30

OpenAI 发布 ChatGPT Images 2.5 图像模型，生成延迟比 Images 2.0 降低最多 50%，细节、编辑精度、参考照片保真度和多轮编辑一致性均有提升。

评图像模型进入'延迟即体验'阶段。50% 延迟降幅意味着高频编辑可用，参考图保真提升则利好电商、设计稿迭代。但 OpenAI 仍未开放 API 独立调用，第三方图像应用仍受限于 ChatGPT 内嵌入口。

源：OpenAI：官网动态（RSS · 排除企业/客户案例）阅读原文

行业动态09-09 07:14

OpenAI 用约 10000 个 AI 智能体协作约 88 小时生成证明，解决千禧难题 Navier-Stokes，证明初始平滑流体有限时间内出现奇点，陶哲轩点赞并表担忧。

评约 10000 智能体、88 小时——这是迄今最大规模的 AI 协作证明尝试。陶哲轩'点赞又担忧'折射核心矛盾：AI 能产出 validated 证明，却把'为何成立'的黑箱推得更深。对科研而言，验证权比发现权更关键。

源：IT之家（RSS）阅读原文

除了本板块，AI工具宝箱还有这些独家内容板块，帮你从不同角度发现好工具。