数学家实测 Astra：60 小时攻克两个未发表定理，3 挑战耗 2 万美元
basedjensen · x · 2026-09-08
数学研究者 Elliot Glazer 透露，他让 Astra 攻克了自己手头两个尚未发表的最难定理，模型分别用约 60 小时各解出一题。
- 这一连串 3 个挑战共消耗约 2 万美元 的 Astra API 费用
- 他表示，虽然 Astra 迄今解决的猜想已令人惊叹，但真正体验过该模型完整实力的人恐怕并不多
这是前沿模型在原创数学研究（而非已有 benchmark）上能力的一手证言。
「模型」频道最新
- 重复指令竟能提升模型遵循度？开发者重拾 2023 年老技巧 — tokenbender · 2026-09-08
- 某模型科学知识测试成绩回落,作者称结果尚可接受 — felpix_ · 2026-09-08
- VLM 网关实测:原生视频推理优于抽帧,但多数服务商暂不支持 — spillai · 2026-09-08
- Tibo 再度统一重置周期，用户推演「突袭重置」博弈与 token 省法 — tinyfool · 2026-09-08
- 高 AI 使用度经济学家群体：GPT 5.6 到 6 几乎无人察觉升级 — aniketapanjwani · 2026-09-08
- Reddit 用户开源 Claude.md 补丁，一键修复 Opus 文风劣化 — myriable · 2026-09-08