Epoch AI 推出 FrontierMath Erdős:Astra 解出 68 道未解难题中的 2 道
littmath · x · 2026-09-04
Epoch AI 联合数学家 Thomas Bloom 推出新基准 FrontierMath Erdős:精选 68 道尚未解决的 Erdős 型数学难题,要求 AI 用 Lean 形式化语言写出可自动验证的证明。陶哲轩曾在 ICM 上指出 AI 数学能力的证据大多未在规范科学条件下收集,称其「一团乱麻」,此基准正是回应。此前没有任何模型解出过任何一题,GPT-6 Astra 解出 2/68(3%)。基准附带开源 scaffold。
所属事件:Epoch AI 发布 FrontierMath Erdős，GPT-6 Astra 首破零分(10 条相关)→
「模型」频道最新
- 花3个月实测:Anthropic 内部模型能否设计蝎子抗毒血清 — apoorvasriniva · 2026-10-21
- Space Bunny Alpha 实为 MiniMax M3.1 Flash：1M 上下文、主打性价比 — ZabihullahAtal · 2026-10-21
- Rork 界面现「Opus 5.5 Medium」选项,Anthropic 新模型或曝光 — rudrank · 2026-10-21
- RSI-Bench 首批任务通过验证管线,含 reward-hacking 检测与补丁 — SRSchmidgall · 2026-10-21
- 开发者吐槽 Anthropic 生物安全护栏：读篇论文就触发拦截 — robleclerc · 2026-10-21
- Reddit 用户称本地运行的未审查版 DeepSeek 对病毒提问毫无犹豫直接作答 — Only_Light_9817 · 2026-10-21