O3 and Grok 4 Accidentally Vindicated Neurosymbolic AIgarymarcus.substack.com19 pointsrbanffya year ago