El domingo, en Pekín, un grupo encabezado por Shing-Tung Yau, ganador de la Medalla Fields, anunció la «Alianza del Laboratorio Yau para las Matemáticas y la Inteligencia Artificial». La alianza reúne a ocho institutos de investigación chinos y planea crear una red de más de 1.000 matemáticos que trabajen en herramientas de IA para las matemáticas. La noticia fue publicada por el South China Morning Post.
Por qué inquieta la IA a los matemáticos occidentales
En Europa y Estados Unidos, cada vez más matemáticos destacados cuestionan las demostraciones generadas por IA. Veinticinco ganadores de la Medalla Fields, entre ellos Terence Tao y Peter Scholze, sostienen que depender de la IA podría reducir la capacidad de los investigadores para seguir el razonamiento que sustenta una demostración. Algunos han pedido boicotear los resultados generados por IA, y a otros les alarma la enorme cantidad de artículos que ahora incluyen una herramienta de IA como coautora.
La estrategia de China para aplicar la IA a las matemáticas
La alianza china se centra en desarrollar modelos de IA especializados capaces de producir demostraciones verificables por máquinas. También quiere que los sistemas expliquen su razonamiento de una manera que otros investigadores puedan comprobar. Yau advirtió que, sin un esfuerzo coordinado de este tipo, China podría quedarse rezagada frente a Estados Unidos en la investigación matemática.
Por qué importa
Si la alianza china tiene éxito, las herramientas de IA podrían convertirse en algo habitual en la investigación matemática, lo que potencialmente aceleraría los descubrimientos, pero también cambiaría la forma de verificar las demostraciones. Para estudiantes y profesionales, esto podría implicar aprender a usar nuevos programas para comprender o comprobar resultados producidos por IA, mientras que el debate en Occidente apunta a una posible división sobre cómo evolucionará la disciplina.
