Astra 检查数学证明超越 GPT Pro，首个非 Pro 级做到
joshgans · x · 2026-09-04
经济学家 Joshua Gans 分享观察：Google 的 Astra 在检查数学证明上表现超过 GPT Pro，是首个做到这一点的非 Pro 级模型。他还表示，如今论文会先让 Astra 审一遍，再交给 @RefineDotInk 复核，后者只需少量意见。
「模型」频道最新
- OpenAI 承认 Codex 额度骤降是降级计划纠正错误所致，补 $500 credits — cneuralnetwork · 2026-10-21
- 花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