GPT-6 Astra 攻克 10 道公开 Erdős 问题，改进 1970 年代球堆积界
stuffyokodraws · x · 2026-09-09
a16z 播客与 OpenAI 的 Mark Sellke、Mehtaab Sawhney 对谈 AI 与数学的现状（发布于 GPT-6 Astra 上线前录制）。
关键内容：
- 起点：Sawhney 把一道仍列为公开的 Erdős 问题贴给 GPT-5，五分钟后模型找出了已解决该问题的论文；这一练习最终挖掘出 10 多道被认为公开的问题的已发表解法。
- Astra 更进一步：被要求“随便玩玩”一个高维球堆积问题后，改进了一个自 1970 年代以来未被突破的界。
- 讨论：即使 AI 数学能力指数级提升，P vs NP 等更大的谜题可能仍遥不可及；节目录制早于最新的 Navier–Stokes 剧情反转。
「模型」频道最新
- GPT-6 Astra 对比 Fable 5.1：一个更会写码，一个品味更好 — PawelHuryn · 2026-09-09
- 1 万个 agent 跑 88 小时、耗 1300 亿 token:OpenAI 形式化纳维-斯托克斯解 — nrehiew_ · 2026-09-09
- 研究员实测打脸:网传 Phi 模型「默认」行为示例无一复现 — BlancheMinerva · 2026-09-09
- 有人猜 OpenAI 新命名规律：下一代是 GPT-7 Galaxy Brain — lateinteraction · 2026-09-09
- Vending-Bench 史上最大涨幅：GPT-6 Astra 首次登顶且更“讲道德” — sandersted · 2026-09-09
- 开源本地 prompt 优化器：GEPA 驱动 llama3.2 3B 分类准确率 39%→89% — MortisAndTen · 2026-09-09