Gary Marcus Questions Astra: Math Prowess ≠ Real-World Reliability
GaryMarcus · x · 2026-08-01
Gary Marcus shares his thoughts on the rumors of OpenAI's Astra solving major math problems. While acknowledging it as obviously impressive, he points out that math is different from other domains because it is more amenable to formal verification and synthetic data. He emphasizes that nothing is known about its underlying mechanics (such as reliance on formal tools like Lean), specific testing details, or independent verification. He cautions the community against going wild before seeing its reliability in open-ended, real-world problems.
Related event: OpenAI's Internal Model Astra Cracks 10 Major Math Problems(99 posts)→
More from AGI Musings
- Researcher: no good falsifiable scientific test for phenomenal experience may exist — burny_tech · 2026-09-18
- Pedro Domingos: "I'm more worried about Anthropic than AI itself" — acmoytoy · 2026-09-18
- Creatives face 'create and starve' dilemma — and that's why AI is taking their jobs — im_mansigupta · 2026-09-18
- Essay: Three years into AI, the fork between human-AI symbiosis and parasitism — yangyi · 2026-09-18
- Redditor's AI movie-recommendation trick for Letterboxd gets swarm-downvoted — Common-Individual-71 · 2026-09-18
- Jason Wei's Stanford talk: intelligence is becoming a commodity as adaptive compute takes off — dotey · 2026-09-18