Topic Timeline
#数学
这个主题在过往早报中的出现记录。深度条目直达研究报告，其余条目回到当日 edition。
- 行业动态2026-10-11 · 周日重要度 4/5深度报告 →
OpenAI数学手稿反应进入审查阶段
The Decoder 10月10日追踪数学共同体反应。Proofs and Prompts同日继续更新百余条研究者短评。
外部共同体正在消化10月6日材料。争议焦点从模型能力转向审查劳动、署名和研究议程控制权。
- 研究进展2026-10-07 · 周三重要度 5/5深度报告 →
OpenAI公开前沿模型数学成果
OpenAI 10月6日公开内部前沿模型产出的数学结果，并用GitHub仓库承载论文修订、Lean形式化和推理摘要。
这条新闻把披露流程推到台前。OpenAI开始为AI产出的数学结果建立披露、引用和形式化流程。
- 头条2026-09-22 · 周二重要度 5/5深度报告 →
OpenAI成立数学顾问组回应证明争议
OpenAI 9月21日宣布数学顾问组；9月8日自发证明材料仍待独立验收，100多个问题清单未公开。
核心变化是OpenAI开始为数学发现建立外部沟通机制。证明质量、署名和公开节奏仍需数学界独立审查。
- 行业治理2026-09-12 · 周六重要度 4/5深度报告 →
25位菲尔兹奖得主质疑AI数学竞赛
Terence Tao于9月11日发布声明，称25位菲尔兹奖得主联署反对把解决重大数学问题作为AI公司竞赛目标。
- 数学共同体正在把模型能力竞赛转成治理问题。
- 它承认LLM数学能力进步，同时要求区分解题成绩、理解积累和学术共同体的长期激励。
- 研究争议2026-09-10 · 周四重要度 3/5
跟进｜Navier-Stokes争议进入媒体复盘
Science和The Decoder在9月9日跟进OpenAI Navier-Stokes证明争议，焦点转向优先权、产品日志和科研信任。
- 昨天的主新闻是OpenAI发布证明主张，今天的增量是外部科学媒体把争议拆成可讨论的问题。
- 它提醒实验室公开AI科研成果时，证明、日志和署名需要一起接受审查。
- 头条2026-09-09 · 周三重要度 5/5深度报告 →
OpenAI称Agent给出Navier-Stokes证明
OpenAI于9月8日称内部多Agent系统给出Navier-Stokes千禧难题证明，并提供论文和Lean形式化；结论仍待数学共同体复核。
- 这条新闻的重要性同时落在数学结果和工程流程。
- OpenAI首次把大规模Agent协作作为科学发现流程公开展示，关键边界是证明主张、优先权争议和外部复核不能混为一谈。
- 头条2026-09-05 · 周六重要度 5/5深度报告 →
Anthropic称Claude完成费马证明形式化
Anthropic 9月4日称Claude用11天完成费马大定理端到端Lean形式化证明，并公开可核验仓库。
这条新闻把AI从解题助手推向大规模验证工程。费马大定理本身早有证明，新增价值在Lean工件可核验并可复跑。
- 头条2026-08-02 · 周日重要度 5/5深度报告 →
OpenAI公布Astra内部版十项数学成果
OpenAI 于北京时间 8 月 1 日发布十项数学与理论计算机科学结果。官方称论证由未发布的 Astra 内部版本生成，并同步提供论文、Lean 证书和推理叙述。
- 研究价值取决于同行审阅与形式化证书能否经受复核，而不是模型名称本身。
- 公告展示的是可验证成果，但不能据此写成 Astra 已经发布。