O3 and Grok 4 Accidentally Vindicated Neurosymbolic AI(garymarcus.substack.com)3 points by Ratelman 307 days ago | 1 comment