GPT-6 Astra 攻克 FrontierMath 首个重大突破级难题
kimmonismus · x · 2026-09-19
kimmonismus 称 FrontierMath 上首个被评为「Major Advance」的问题由 GPT-6 Astra 参与解决：研究者借助它提供的关键思路与证明，攻克了一个自 2017 年悬而未决的投票理论难题。作者借此强调 AI 已能贡献原创数学洞见，反驳「LLM 缺乏创造力」的说法。详细过程见其后续引用 Epoch AI 的补充帖。
所属事件: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