时间：2026年8月1日
地点：美国旧金山
人物：OpenAI 研究团队、Sam Altman、Noam Brown、曼彻斯特大学数学家 Thomas Bloom
事件详情：OpenAI 于8月1日正式公布数学与理论计算机科学领域十项重大成果，宣布这些突破均由其下一代核心模型 Astra 的内部版本完成。十道问题此前多数已至少十年未有实质进展，最久的甚至超过一个世纪，覆盖高维几何、编码理论、算术电路复杂度、群论、量子复杂度、格密码与极值组合学等多个领域。按 Sol API 费率折算，跑出全部解法的词元成本仅约 2000 美元，约合 1.35 万元人民币。后续由人类研究人员与 Astra 共同撰写论文，并在 Lean 形式化证明系统中产出可机读证书。
背景：今年5月，OpenAI 曾公布一个未发布模型生成的埃尔德什单位距离猜想反例，已在数学界引发连锁反应。Astra 沿用该公司测试时推理技术，由参与该技术研发的 Noam Brown 主导。Astra 本周由 Sam Altman 在华盛顿向政策制定者与监管机构演示，重点展示多智能体长周期协同能力，被视为有望率先通过美国安全审批的大模型。曼彻斯特大学数学家 Thomas Bloom 评价此次成果为"重大新闻"，并在X上驳斥"AI 取代数学家"的说法，强调 Astra 背后凝聚了一个多世纪的数学积累。
影响：
- 推动 AI 在长期悬而未决的纯数学问题上提供实质推进，重新定义数学研究的边界
- 测试时推理商业成本降至 2000 美元级，加速科研机构与高校普及AI辅助证明
- 多智能体长周期协同模型率先在监管层面演示，为美国大模型审批流程立下参照
总结：Astra 十项成果证明大模型已能在长期未解的纯数学问题上独立推进，是生成式 AI 介入基础科学研究的转折点；同时多智能体长周期协同能力的演示，标志 OpenAI 正以"AI 研究员"为下一步产品目标。即便尚未攻克千禧年七大数学难题，AI 推理商业化与科研普及的窗口已被彻底打开。
参考来源：
- https://openai.com/index/ten-advances-in-mathematics/
- https://cdn.openai.com/pdf/ten-proofs-oai.pdf
- https://the-decoder.com/openai-announces-its-next-major-model-astra-by-dropping-ten-previously-unsolved-math-solutions/
- https://news.qq.com/rain/a/20260801A09KCQ00
- https://finance.jrj.com.cn/2026/08/01131457982937.shtml
- https://www.36kr.com/p/3920424297852291
- https://tech.ifeng.com/c/8vEQWPiCz4c
- https://m.163.com/dy/article/L38560VT0550WHYR.html
- https://github.com/openai/ten-proofs