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
- Going Infinite Reflection: A Silicon Valley Generation Whose Ambition Atrophied — Graham_dePenros · 2026-11-14
- A rare German film asks what home care looks like once a humanoid robot moves in — CyberRobooo · 2026-11-14
- Interconnects: Jensen's resignation is a major setback for US open-model ecosystem — Interconnects (Nathan Lambert) · 2026-11-14
- AGI endgame: either a balanced multipolar world or a centralized panopticon — CedricMakes · 2026-11-14
- "60% of people around you have some form of AI psychosis," says Alsop III — StewartalsopIII · 2026-11-14
- AI won't make everyone equal—it will split the smart from the rest worse than money — prasenx · 2026-11-14