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
- AI safety debate: why 'press the universe-destroying button' utilitarianism marks you untrustworthy — jd_pressman · 2026-10-16
- Meta scales back AI agent plans as staff clean up after the machines — SumitGup · 2026-10-16
- RFdiffusion3 debuts in Science: generative AI designs proteins and nucleic acids atom by atom — AllThingsApx · 2026-10-16
- Researcher: 'Guru-like' rhetoric fuels claims that AI safety is a cult — jd_pressman · 2026-10-16
- Comparing AI data centers to 1900s power buildout: the anti-DC craze will look silly in a decade — GabGarrett · 2026-10-16
- Commentary: it's unfair to expect Yudkowsky to update on a safety announcement without real mitigations — jd_pressman · 2026-10-16