OpenAI 研究员揭秘:GPT-6 Astra 发布前已在做原创数学
a16z · x · 2026-09-08
a16z 发布与 OpenAI 的 Mark Sellke、Mehtaab Sawhney 及投资人 Lisha Li 的对谈,讲述 GPT-6 Astra 发布前的数学能力演进:
- 起点 GPT-5:Sawhney 粘贴一道仍列为公开的 Erdős 问题,五分钟内模型找出了已解决它的论文;后续还找出了 10 多道被认为未解问题的已发表解法。
- Astra 阶段:被要求“去玩”一个高维球堆积问题后,它改进了自 1970 年代保持至今的界。Sawhney 读研时在同问题上花过六个月、毫无进展。
- 另一项结果以约 15 页证明确立非 sofic 群的存在。
对谈录制于 GPT-6 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