o3 and Grok 4 accidentally vindicate neurosymbolic AIgarymarcus.substack.com59 pointsNotInOurNamesa year ago