neurosymbolic by @swarat et al for Erdos's victory, with much more careful and quantitative work than OpenAI's in hindsight, I wonder if OpenAI rushed the release of theirs, knowing that this was coming?

→ View original post on X — @garymarcus