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 条相关)→
「模型」频道最新
- 模型陷入「rebuttal 拼写」自我纠错死循环名场面 — repligate · 2026-11-05
- Modal 联手 SGLang 实现 Kimi K3.1 Pro 首日在线服务 — ying11231 · 2026-11-05
- 阿拉伯网友爆料 OpenAI 图像模型 GPT images 2.6 支持动图生成 — aziz4ai · 2026-11-05
- 红队任务被护栏误伤：对齐仍缺工程化科学，行为训练太粗糙 — JacquesThibs · 2026-11-05
- 腾讯混元 Hy4 接入 OpenClaw:1M 上下文 + 长程 Agent 能力 — TencentHunyuan · 2026-11-05
- 腾讯混元 Hy4 即将登陆 Chutes API，与腾讯云达成合作 — TencentHunyuan · 2026-11-05