From natural language understanding and automated theorem proving to robotics and explainable AI, neurosymbolic AI is poised to revolutionize the way we interact with machines, solve complex problems, and understand the world around us.