A.I. 日报
OpenAI数学成果引数学家哀叹领域被毁
OpenAI发布719份手稿、归为372个家族，声称解决多个未解数学问题，其中16个与菲尔兹奖得主Hugo Duminil-Copin的工作直接相关，他称研究领域被“摧毁”。此前9月OpenAI还宣称解决了2000年悬赏百万美元的Navier-Stokes问题。
Navier–Stokes
7 篇报道Navier–Stokes 是克雷数学研究所于 2000 年提出的千禧年数学难题之一，悬赏一百万美元，研究三维流体方程解的存在性与光滑性。2026 年 9 月，OpenAI 宣称其 AI 生成了该问题的解答并给出 Lean 形式化证明；随后克雷研究所表示问题“似乎已被解决”并启动正式审查，但结论尚未最终确认。此后《卫报》社论质疑 OpenAI 的结论依赖前人数学工作，数学家 Tristan Buckmaster 就其 Codex 数据的使用提出异议，另有报道称 OpenAI 正转向 Hodge 猜想。
相关话题
- OpenAI6
- Anthropic2
- Hugo Duminil-Copin1
- Codex1
- Tristan Buckmaster1
- Hodge conjecture1
- Claude1
- Ollama1
- Opus1
- Clay Mathematics Institute1
- Fields Medalists1
- Lior Pachter1
卫报社论：数学家仍不可或缺，AI公司视而不见
卫报社论批评OpenAI宣称其AI智能体解决Navier-Stokes问题，认为大模型成果依赖人类数学家的既有工作，却未给予充分署名与补偿；数学家Tristan Buckmaster等质疑OpenAI使用其Codex模型数据，OpenAI否认直接获取该材料但未排除数据被用于改进模型。
OpenAI据称接近解决霍奇猜想
报道称OpenAI正在攻关第二个千禧年难题——霍奇猜想，员工预计很快会有解答，但发布可能被延后。此前其对纳维-斯托克斯问题的未证实解法曾引发公关危机，OpenAI此次更谨慎处理对外信息。
HN：迁移预提示与推理端隐私风险讨论
HN讨论包括将预提示从Opus迁移到自托管Ollama的注意点，并警示在前沿推理服务上运行会泄露会话元数据、被用于训练的风险，提到Navier–Stokes事件和对OpenAI、Anthropic的不信任。
Clay数学研究所称纳维—斯托克斯问题“似乎已解决”
Clay数学研究所表示，七大千禧年难题之一的纳维—斯托克斯问题“似乎已被解决”，目前正进行正式审查。研究所的声明意味着该问题已进入验证阶段，但尚无最终结论。
数学界与 AI 目标不再一致的争论
文章评述二十五位菲尔兹奖得主签署的信，认为 AI 公司目标与数学界追求概念性理解的目标严重不一致，讨论了学术界在培养学生与保护思想方面的不足，并以 OpenAI 宣布解 Navier–Stokes 问题为背景展开批评。
OpenAI 分享 AI 生成的 Navier–Stokes 解与 Lean 形式化证明
OpenAI 分享了一份 AI 生成的 Navier–Stokes 千年难题解答，包含一篇写作说明与在 Lean 中的形式化证明。该材料公开了 AI 在数学问题求解与机器证明方面的应用示例。
已经到底了