G garymarcus.substack.com o3 and Grok 4 accidentally vindicate neurosymbolic AI 59 points NotInOurNames 1 year ago 22 comments