OpenAI 数学系统 Astra 连破十大开放问题

a16z 发布了一期与 OpenAI 数学家 Mark Sellke、Mehtaab Sawhney 及 a16z 基础设施合伙人 Lisha Li 的深度对谈，揭示 OpenAI 数学研究系统 Astra 在 GPT-6 Astra 发布前后取得的一系列成果：围绕 Navier–Stokes 方程求解、孪生素数猜想进展、球堆积（刷新 1970 年代上界）、非 sofic 群存在性等约十个公开问题接连出现突破，多位发帖者称 AI 数学界经历了非凡的几周。

已确认

• 对谈录制于 GPT-6 Astra 发布之前，Sawhney 曾把一道当时仍列为开放的 Erdős 问题输入系统作为起点，相关成果随后公之于众
• 发帖者转述认为，推理轨迹非常接近人类专家做数学的方式
• 涉及的成果还包括构造非 sofic 群、球堆积进展等此前悬而未决的问题

为什么重要

• 多个长期开放问题在短期内被 AI 系统推进，被视为 AI 数学能力的标志性进展，也是 Astra 发布的核心亮点之一
• 对谈提供了 OpenAI 研究者关于 AI 如何参与原创数学研究的一手视角

2026-09-08 ~ 2026-09-08 · 5 条相关

• 【源头】OpenAI 数学家对谈：推理轨迹像极了人类专家做数学 — a16z · 2026-09-08
• Astra 参与攻克 Navier-Stokes 等十大难题,OpenAI 数学家揭秘内幕 — lishali88 · 2026-09-08
• OpenAI 研究员揭秘:GPT-6 Astra 发布前已在做原创数学 — a16z · 2026-09-08
• GPT-6 Astra 连破十道悬而未决数学题，还刷新 1970 年代球堆砌上界 — morqon · 2026-09-08

另有 1 条近重复转述:lishali88