Mentes, máquinas y matemáticas: la inteligencia artificial y sus retos