Applications
since many people are asking me about the new math results from OpenAI, here is my take. 1. It uses symbolic AI (Lean, etc) in addition to L…
since many people are asking me about the new math results from OpenAI, here is my take. 1. It uses symbolic AI (Lean, etc) in addition to LLMs which is what i said for years we would need to do; this
since many people are asking me about the new math results from OpenAI, here is my take. 1. It uses symbolic AI (Lean, etc) in addition to LLMs which is what i said for years we would need to do; this this confirms what I actually said (as opposed to various fictitious misrepresentations that run rampant around here ) 2. It still doesn’t mean they have AGI; the math stuff AFAIK does not generalize broadly, because you can’t use the same symbolic verification (and symbolic data augmentation techniques) in the open-ended real world. So yes I do feel vindicated wrt to neurosymbolic AI but no the G in AGI (general) is not yet solved. What I said in 2019 remains true: neurosymbolic AI is necessary but not sufficient; world models are also key. So what do you think @GaryMarcus, just another brick in the wall?
Related
- Top eight misconceptions about OpenAI’s amazing new Astra math results. 1. Expertise in one domain does not at all guarantee expertise in al…
- Hot take on OpenAI’s Astra: - Obviously impressive - But math is different from most other problems in that it is more amenable to to formal…
- unfairly-maligned symbolic AI is about to have its big moment - without formal verification we are screwed.
- There's been a talk about how LLMs are only advancing in verifiable areas like math or coding, but that isn't what the data suggests. As mod…
Source: Gary Marcus (X) | 2026-10-07