GPT-6 Astra 连破十道悬而未决数学题，还刷新 1970 年代球堆砌上界
morqon · x · 2026-09-08
a16z 的 Lisha Li 与 OpenAI 研究员 Mark Sellke、Mehtaab Sawhney 对谈 AI 与数学的现状，录制于 GPT-6 Astra 发布前。
- 起点：Sawhney 把一道仍列为开放的 Erdős 问题贴给 GPT-5，五分钟后模型找出已解决它的论文；由此延伸发现了十多个被认为开放的问题的已发表解法。
- Astra 更进一步：被要求对高维球堆砌问题「随便玩玩」时，它改进了一个自 1970 年代保持至今的上界。
- 背景是 AI 数学近几周的密集突破：纳维-斯托克斯方程相关进展、孪生素数猜想推进，以及球堆砌、非 sofic 群存在性等十个开放问题上的成果。
- 讨论核心是 Astra 如何找到这些结果，以及它现在能替代数学家工作的比例。
所属事件:OpenAI 数学系统 Astra 连破十大开放问题(5 条相关)→
「模型」频道最新
- Blender 同题实测：两旗舰模型输出差距悬殊，训练数据分布是主因 — ZeroStateReflex · 2026-09-09
- Netlify 上线 GPT-6 Astra 等 3 款新模型,Agent Runner 智能改配额用法 — thisiskp_ · 2026-09-09
- GLM-5.3-Flash 登顶智能体工具调用榜首,输出仅 $0.50/百万 token — shensi · 2026-09-09
- Artificial Analysis 四天两次调榜，Astra 真实实力获认可 — py-net · 2026-09-09
- Gary Marcus 断言：真正的能力在 harness 而非模型，企业 beware 黑箱 — GaryMarcus · 2026-09-09
- Inception 发布 Mercury 2.5：最强扩散 LLM，1107 tokens/秒、26 万上下文 — StefanoErmon · 2026-09-09