Gary Marcus Speculates Google's Astra is a Neurosymbolic LLM
GaryMarcus · x · 2026-08-01
Commenting on Google Astra's impressive mathematical proof capabilities, prominent AI scholar Gary Marcus shared his perspective. He speculates that Astra is likely a neurosymbolic LLM equipped with harnesses and tools, rather than a pure LLM.
Additionally, a user reported that prompting the Fable and 5.6 Sol models directly in chat to prove the existence of nonsofic groups succeeded without using any external tools.
Related event: OpenAI Math Breakthrough Questioned by Gary Marcus and Others(38 posts)→
More from AGI Musings
- Full Debate: Hacking Growth vs. AI on the Future of Growth — morganb · 2026-08-17
- Hacking Growth in the AI Era: When Execution is Free — morganb · 2026-08-17
- How AI Is Changing Mathematical Research: Coverage Over Genius — bigdata · 2026-08-17
- Anthropic CEO responds to criticism: Balancing AI risks and benefits — iskander · 2026-08-17
- OpenAI's aggressive compute bet may explain why stronger models are held back — haider1 · 2026-08-17
- Hany Farid on Deepfakes and the Decline of Reality: 404 Media Podcast — 404 Media · 2026-08-17