Qué significa ser matemático cuando la IA hace los cálculos

El artículo reflexiona sobre la naturaleza cambiante del trabajo matemático en la era de la IA. El autor, un antiguo estudiante de doctorado en matemáticas aplicadas, recuerda sus propias dificultades y ahora comprende el valor del largo camino hacia la comprensión, un sentimiento apreciado por los matemáticos puros. Los recientes logros de la IA, como el sistema Aletheia de Google DeepMind que produce investigaciones publicables y el sistema de OpenAI que refuta una conjetura en geometría combinatoria, sugieren que la IA puede manejar tareas que antes se consideraban exclusivamente humanas. Los asistentes de demostración como Isabelle, Lean y Rocq, combinados con los modelos de lenguaje de gran escala, están automatizando la formalización. En el Foro Laureado de Heidelberg, los debates se centraron en el potencial de la IA para reemplazar a los matemáticos, con algunos como Yang-Hui He imaginando a los humanos como 'sacerdotes de oráculos', mientras que otros, incluidos el medallista Fields Akshay Venkatesh y Maia Fraser, enfatizan el valor centrado en lo humano de la comprensión y la belleza de la inteligencia colectiva. Terence Tao aboga por enfoques colaborativos donde humanos y IA trabajen juntos.