【project: x-monitor】
🤖 AI 信息流摘要 [project: twitter] | 2026-09-08 16:00 BJT
过去 2 小时（约 14:00–16:00）

📊 本批 8 条，AI 相关 2 条

**速览**

- NYU 数学家用 LLM 一个月攻破多个流体力学难题
- 证明经 Lean 形式化验证，陶哲轩称"了不起的成就"
- 数学家指控 OpenAI 得知进展后试图抢发成果
- OpenAI 内部模型称已生成约 100 页受迫 Navier-Stokes 爆破证明
- Codex 新增聊天记录智能分组与归档功能

**模型动态**

- https://x.com/dotey — OpenAI 内部模型据称生成约 100 页受迫 Navier-Stokes 有限时间爆破证明，技术路线与 Buckmaster 高度重合 → [原文](https://x.com/dotey/status/2097223647068836166)

**产品发布**

- https://x.com/op7418 — Codex 可查看全部聊天记录并按自定义逻辑重新分组、归档，分组名支持加 emoji → [原文](https://x.com/op7418/status/2097174249333219551)

**研究进展**

- https://x.com/dotey — Buckmaster 与 Alpöge 借 Claude、Codex、GPT-5.6 完成三维 Euler 等方程光滑外力爆破证明，8 月 22 日通过 Lean 机器验证 → [原文](https://x.com/dotey/status/2097223647068836166)

**行业动态**

- https://x.com/dotey — Buckmaster 公开声明指控 OpenAI 施压：要求抢先发布、并将在 Anthropic 工作的合作者移出署名 → [原文](https://x.com/dotey/status/2097223647068836166)

**整体情绪**：分化 — AI 助推数学突破令人振奋，但公司竞争中的学术伦理争议引发广泛担忧。