Astra Beats GPT Pro at Proof-Checking, a First for Non-Pro Models
joshgans · x · 2026-09-04
Economist Joshua Gans observes that Google's Astra outperforms GPT Pro at checking mathematical proofs — the first non-Pro model to do so. He now has papers reviewed first by Astra, then by @RefineDotInk, which needs only a few comments.
More from Models
- Leak: GPT-6 Astra's Training Incubation Ran Early May To Late July — scaling01 · 2026-09-04
- GPT-6 Astra Won't Charge Extra Usage In Codex Until 272k Tokens — pvncher · 2026-09-04
- Reddit user: GPT-6 Astra is surprisingly good at circuit design and chip architecture — Christs_Elite · 2026-09-04
- Mirai's uzu engine brings speculative decoding to Apple M5, hitting 105 tok/s on Qwen3.6 27B — TheMoonMidas · 2026-09-04
- Best local models for 12GB of VRAM: Gemma-4-12B remains the pick — GlennCameronjr · 2026-09-04
- Claude Fable 5.1 Launches, Early Users Say It One-Shots the Best Websites of Any Model — repligate · 2026-09-04