Rodrigo Mendoza-Smith es matemático y consultor en IA. Su investigación estudia los sistemas de IA desde la perspectiva de los datos y la geometría. Ha publicado en NeurIPS, ICML e ICLR y, en los últimos dos años, ha sido autor y revisor de trabajos sobre la aplicación de la IA a la investigación matemática. Estudió la licenciatura en Matemáticas Aplicadas en el ITAM y un doctorado en Matemáticas en Oxford, y fue cofundador y CEO de una startup de IA aplicada.
Rodrigo nos cuenta que pensar que "desaparecerán los matemáticos" proviene de una concepción incorrecta de la profesión: "los matemáticos nunca han hecho nada útil", y esto no cambia con la IA. Rodrigo explica cómo el lenguaje de formalización Lean ya está automatizando la verificación de esas verdades, pero deja intacta la pregunta de cuáles vale la pena perseguir. Ahí, el matemático se parece más a un inversionista de venture capital que decide dónde apostar cómputo y tiempo, o a un poeta, que decide lo que es bello o valioso, entre caminos casi infinito.
