Neurosymbolic AI — software that reasons, not software that guesses.