O3 and Grok 4 Accidentally Vindicated Neurosymbolic AIgarymarcus.substack.com3 points·Ratelman··1 commentOpen articleSaveView on HN