[The Navier - Stokes Millennium Prize Problem](https://simonwillison.net/2026/Sep/8/on-navier-stokes/) - Willison 把 OpenAI 的数学突破放进优先权和训练数据争议中：OpenAI 称 88 小时得到解答、17 小时完成 Lean 验证，整个项目用了 4.9 million messages 和约 300 billion output tokens。争议不只在证明是否成立，还在于研究者此前把草稿放进 Codex 后，后来模型是否可能通过去标识数据间接受益；这让 agent 辅助研究的 provenance 成为结果之外的核心问题。