Neurosymbolic AI as an “obvious” winner in hindsight · Digg