Gary Marcus Stands Firm: Math Success Does Not Guarantee AI Generalization

GaryMarcus · x · 2026-08-03

After 24 hours of criticism, Gary Marcus hit back, stating that none of his detractors actually refuted his main point. He maintains that AI breakthroughs in math—which heavily leverage symbolic verification and formally generated synthetic data—do not guarantee success in other domains.

Related event: OpenAI Math Breakthrough Questioned by Gary Marcus and Others(38 posts)→

Original post →

More from AGI Musings

AGI Musings channel →