O3 and Grok 4 Accidentally Vindicated Neurosymbolic AI | Dark Hacker News