Astra 检查数学证明超越 GPT Pro，首个非 Pro 级做到
joshgans · x · 2026-09-04
经济学家 Joshua Gans 分享观察：Google 的 Astra 在检查数学证明上表现超过 GPT Pro，是首个做到这一点的非 Pro 级模型。他还表示，如今论文会先让 Astra 审一遍，再交给 @RefineDotInk 复核，后者只需少量意见。
「模型」频道最新
- 微软 MAI-Transcribe 2 上线 OpenRouter:90 分钟音频 15 秒转写完 — altryne · 2026-09-04
- 前 DeepMind 人士自省：曾看衰 AI 计算机使用，Astra 证明我看错了 — sandersted · 2026-09-04
- 爆料称 GPT-6 Astra 于 5 月初至 7 月下旬完成孵化训练 — scaling01 · 2026-09-04
- GPT-6 Astra 在 Codex 中 27.2 万 token 内不加收用量 — pvncher · 2026-09-04
- Reddit 用户实测称 GPT-6 Astra 能胜任电路设计与芯片架构推演 — Christs_Elite · 2026-09-04
- Mirai 推理引擎 uzu 发布投机解码，M5 上超 llama.cpp 3 倍 — TheMoonMidas · 2026-09-04