GPT-6 Astra 助解 FrontierMath 首个重大突破级难题
Epoch AI 宣布其 FrontierMath: Open Problems 基准中的又一道悬而未决数学难题被成功解决，并被认定为该基准首个「Major Advance」（重大突破）级成果。解题者是数学家 Becker、Greger 与 Dominik Peters，解答是在与 GPT-6 Astra 的长时间交互式会话中诱导出来的。据新智元转述，三位研究者分别来自慕尼黑工业大学（Patrick Becker）与牛津（Matthias Greger）等机构，成果可概括为证明「绝对公平委员会必存在」。这一事件被多位发帖人视为 AI 从「刷基准」走向参与真实数学研究的信号。
已确认
- 该难题为 2017 年提出的投票理论开放问题（悬置约 8-9 年），涉及《The Core in Approval-Based…》相关的投票规则研究。
- 模型并非独立解题：按 kimmonismus 与 haider1 的转述，研究者借助 GPT-6 Astra 提供的关键思路与证明，模型还自创了新的投票规则，最终由人类数学家完成攻克。
- 这是 FrontierMath 上首个被评为「Major Advance」级别的问题。FrontierMath 由 Epoch AI 设计，包含极难的数学研究级问题，此前模型几乎无法触及。
为什么重要
- 多位发帖人（如 kimmonismus、haider1）认为这标志着 AI 从「刷基准」走向参与真实数学研究：模型能提供实质性研究思路而非仅复现已知答案。
- haider1 特别指出 GPT-6 Astra 是 Sam Altman 口中 Astra 后继者的前瞻版本，使这一成果更具信号意义。
2026-09-19 ~ 2026-09-20 · 8 条相关
一手来源
- GPT-6 Astra 攻克 FrontierMath 首个重大突破级难题 — kimmonismus ·
- GPT-6 Astra 助解 2017 年投票理论难题，Epoch 认定 FrontierMath 首个重大突破 — kimmonismus ·
- GPT-6Astra 攻克悬置 9 年数学难题，证明绝对公平委员会必存在 — 新智元 ·
- FrontierMath 首个「重大进展」级难题被 AI 攻克 — ResultBackground2450 · 2026-09-19
- FrontierMath 开放难题首度被攻破,解题源自与 GPT-6 Astra 交互 — RexDouglass · 2026-09-19
- GPT-6 Astra 助解 FrontierMath 首个 Major Advance 难题，自创新投票规则 — haider1 · 2026-09-19
- 【源头】GPT-6 Astra 助解 2017 年投票理论难题，Epoch 认定 FrontierMath 首个重大突破 — kimmonismus · 2026-09-19
另有 4 条近重复转述:Jsevillamol · kimmonismus · Jsevillamol · 新智元