Astra 解出 FrontierMath 原型题：找数 161 美元、证明 1874 美元
mobav0 · x · 2026-09-04
Elliot Glazer 获得访问权限后，让 GPT-6 Astra 以最高推理强度尝试其 FrontierMath 原型问题（预算上限 200 美元 API token，即该基准新突破题的平均花费），最终成功解出。按 Sol token 计价：定位到目标数字花费 161.84 美元，完成完整证明花费 1,874.64 美元——实际开销远超预设的 200 美元预算。
「模型」频道最新
- ARC-AGI-3 实测:max 推理多花 10 倍 token,总成本反降三成 — i_dg23 · 2026-09-04
- OpenAI 发布 GPT-6 Astra 系统卡:首达网络安全 Critical 级 — PawelHuryn · 2026-09-04
- 研究者指 OpenAI Astra 系统卡存在数学基准数据污染疑点 — dfrsrchtwts · 2026-09-04
- antirez:评价新模型别看 three.js demo,看它能否解决真实阻塞难题 — antirez · 2026-09-04
- Astra 登顶 ARC-AGI-3 排行榜,同时还是成本效率最高选手 — flowersslop · 2026-09-04
- 曝 GPT-6-Astra ECI 达 169，开源模型追赶无望？ — scaling01 · 2026-09-04