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。
「模型」频道最新
- GPT-6 Astra 创 ECI 新纪录 169,数学与持续学习基准亦破纪录 — Jsevillamol · 2026-09-04
- 开发者吐槽 GPT-6 Astra 发布是「雷声大雨点小」 — ns123abc · 2026-09-04
- GPT-6 Astra 定价 10/50 美元,比 GPT-5.6 Sol 贵 2.5 倍 — cedric_chee · 2026-09-04
- IFM 开源 MoE 模型 K2-Horizon-MoVA-36B-A4B 登上 Hugging Face 热榜 — IFM · 2026-09-04
- ARC-AGI 主办方：给模型套超强提示词，测的是人不是模型 — GregKamradt · 2026-09-04
- mitsuhiko 看完 Astra 发布:模型能力加速没有任何放缓迹象 — mitsuhiko · 2026-09-04