琳小航AI 日报

OpenAI 宣布用未发布模型解出 Navier-Stokes 千禧年难题，NYU 数学教授指控其窃取研究进展。全程 88 小时、消耗约 3000 亿输出 token，再由 Astra（GPT-6 的一个版本）做了 17 小时形式化验证。

OpenAI 发布 ChatGPT Images 2.5 图像模型，生成速度比 2.0 快最多 50%。多轮编辑一致性和参考照片保真度提升，新增涂鸦绘图和 15 个图片模版。

GPT-6 Astra 用中度模式性价比优于高模式。性能只降 1% 到 2%，成本省 20%。

OpenAI Codex 团队成员写了一篇文章，说到了 GPT-6 Astra 这一代，很多老的 Codex 用法不但没用反而拖后腿，重点讲 Skill 文件怎么用、AGENTS.md 怎么写、任务提示词怎么优化。英文文章，看不懂可以把链接丢给 AI 让它按文章思路直接给优化方案。链接 https://x.com/pvncher/status/2095991462416490862