OpenAI 推出数学研究系统 Astra，连出十大开放问题进展
lishali88 · x · 2026-09-08
AI 数学界近期异常热闹：围绕 Navier–Stokes 方程的求解、孪生素数猜想进展，以及球堆积、非sofic群存在性等十个开放问题的多项成果接连出现。作者采访了 OpenAI 的 Mark Sellke 与 Mehtaab Sawhney，深入探讨 Astra 系统如何找到这些成果，以及背后的研究过程。
所属事件:OpenAI 数学系统 Astra 连破十大开放问题(5 条相关)→
「模型」频道最新
- 模型画不好 ASCII 鲸鱼，竟自己写 Node.js 脚本迭代作画 — teortaxesTex · 2026-09-09
- 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