GPT-6 Astra 助解 FrontierMath 首个 Major Advance 难题，自创新投票规则
haider1 · x · 2026-09-19
FrontierMath 的首个「Major Advance」级难题被解决。发帖人称 GPT-6 Astra（Sam Altman 口中 Astra 后继者的前瞻）帮助解决了一个自 2017 年悬而未决的开放问题。
关键点：
- 模型不是找到反例，而是证明反例不存在，并构建了核心论证机制说明原因
- 据称 gpt-6-astra 提出了主要思路与证明，包括一条用于解决该问题的新投票规则
- 发帖人认为这超出了「LLM 只是套用已有技巧」的质疑
注意：为第三方转述，细节与真实性待进一步核实。
所属事件:GPT-6 Astra 助解 FrontierMath 首个重大突破级难题(8 条相关)→
「模型」频道最新
- shadcn 谈 Opus：代码「品味」无法靠短期 benchmark 验证 — shadcn · 2026-11-04
- 用户吐槽 Claude「Ultrafast」模式：限额度烧得快 8 倍，不如推出省额度的 flex 速度档 — Lucky_Creme_5208 · 2026-11-04
- OpenAI 撤销 Codex 逆向工程禁令,与 Anthropic 安全路线渐行渐远 — AccBalanced · 2026-11-04
- Haiku 也能做出 Opus 级动画?作者实测称看不出明显差距 — Lazar988 · 2026-11-04
- Mistral Large 4 实测：133 个 agent 挖出并修复 Django CVE 漏洞 — MistralAI · 2026-11-04
- 谷歌联合 Mercor 发布工程基准 PLE,85 项任务全部前沿模型低于 50% — teortaxesTex · 2026-11-04