o3 and Grok 4 accidentally vindicate neurosymbolic AI | Heykuki News