Clark Barrett, profesor de Stanford, asegura que las matemáticas podrían salvar a los programadores de la IA: "En algún momento, el código entra en contacto con la realidad"
Pedro Venegas
Clark Barrett, profesor de Stanford y cofundador de Formal AI, defiende que las matemáticas y métodos formales serán esenciales para la fiabilidad del software generado por IA.