GPT-6Astra 攻克悬置 9 年数学难题，证明绝对公平委员会必存在
新智元 · wechat · 2026-09-20
全球顶级数学基准 FrontierMath 迎来里程碑：一道自 2017 年悬而未决的「重大进展」级开放难题，被 GPT-6Astra 联手三位人类研究员（慕尼黑工业大学 Patrick Becker、牛津 Matthias Greger、巴黎九大/CNRS Dominik Peters）攻克。原题要求构造「核为空」的选举反例，Astra 却证明反例不存在——批准式委员会选举中「核」永远非空，即绝对公平的委员会必存在。
- Astra 为此发明了全新的「调和熵」投票规则，证明局部最优解必落在核内，且给出多项式时间算法，成果写入 20 页 arXiv 论文。
- 人机协作细节：从林达尔均衡近似（2.065 系数）出发，人类不断逼迫改进，Astra 突破瓶颈提出基于熵的框架，甚至证明了更强的 Core+ 概念。Peters 坦言：没有 Astra 团队大概率找不到证明，但只给一句提示词 Astra 也解不出来。
- 这是 FrontierMath 首道被解开的「重大进展」级题目（该档仅 6 道），全榜 49 题至今仅解 8 道。EpochAI 被迫新增「Human+AI」状态标签，官方声明核心思想完全来自 AI。
所属事件:GPT-6 Astra 助解 FrontierMath 首个重大突破级难题(8 条相关)→
「模型」频道最新
- 开源 Open-Jev 发布:2B/9B 决策模型附 LoRA 适配器与数据 — BLUECOW009 · 2026-09-21
- 开源 CUA-S1 端侧小模型：70 万参数 1ms 推理，准确率 99.95% — GabGarrett · 2026-09-21
- 本地 vs 云端实测：端侧快 28 倍但准确率仅五成 — sven_ai · 2026-09-21
- 实测：Anthropic 订阅版 Fable 5 表现变差，8 月思考 token 大幅缩水 — HankYeomans · 2026-09-21
- 实测 Codex computer use:Astra 稳定，Luna/Sol 频繁失灵 — FamilyNP · 2026-09-21
- 实测发现 service_tier=fast 仅限 API，ChatGPT 订阅通道不支持 — TrickyPlastic · 2026-09-21