La comunidad matemática mundial vive una de sus mayores crisis internas en décadas, y el detonante es la inteligencia artificial. En las últimas semanas OpenAI ha protagonizado varios hitos que, según la propia compañía, suponen avances históricos en matemáticas puras: a principios de septiembre, uno de sus modelos internos de frontera habría encontrado una solución al problema de Navier-Stokes, uno de los siete Problemas del Milenio que llevaban sin resolverse desde el año 2000. El 30 de septiembre publicó además un resultado sobre una versión debilitada de la hipótesis de Riemann, otro de los enigmas más célebres de la disciplina. Y el pasado 6 de octubre, la compañía liberó de golpe un repositorio con más de 700 archivos que, supuestamente, contienen soluciones a varios problemas matemáticos destacados.
Ninguno de estos resultados ha sido validado de forma independiente todavía, pero el movimiento ha bastado para que una parte muy vocal de la comunidad matemática salte a la yugular. La Asociación de Matemáticas Humanas (AHM) publicó un comunicado durísimo en el que acusa a OpenAI de ‘desprecio total por las normas de la investigación científica’ y asegura que ‘publicar más de 700 archivos de golpe no es una demostración de rigor académico, sino una demostración de poder’. El texto llega incluso a pedir abiertamente a los matemáticos que dejen de colaborar con la empresa, en un contexto en el que OpenAI además se defiende en varias demandas por presunto plagio, infracción de derechos de autor y dilución de marca.
OpenAI, por su parte, sostiene que ha consultado al Grupo Asesor sobre Matemáticas e Inteligencia Artificial del Instituto de Estudios Avanzados para definir buenas prácticas de publicación, y que ha incluido en el repositorio detalles sobre cómo se obtuvieron los resultados, en un intento de mostrar transparencia. Según la empresa, su objetivo es ‘poner capacidades de última generación directamente en manos de los científicos’ y ampliar los límites del conocimiento humano, no sustituir a la comunidad investigadora.
En medio del fuego cruzado aparece una voz especialmente relevante: la de Terence Tao, considerado por consenso casi unánime el matemático más brillante de su generación, ganador de la Medalla Fields en 2006 con solo 31 años por sus contribuciones en teoría de números, ecuaciones en derivadas parciales y análisis armónico. Lejos de posicionarse como un luddita, Tao es uno de los mayores impulsores de Lean, un asistente de demostraciones y lenguaje de programación que verifica formalmente razonamientos matemáticos, y lo usa activamente en su propio trabajo. Pero en su artículo ‘Las matemáticas en la era de la IA’ plantea una advertencia de fondo: que un modelo entregue una respuesta correcta, aunque esté formalmente certificada, no equivale a resolver de verdad un problema matemático, porque falta una demostración inteligible que otros humanos puedan comprender, cuestionar y usar para avanzar. Para Tao, las matemáticas no son solo resolver enigmas: son desarrollar teorías, formular nuevas preguntas, conectar áreas distintas y educar a las siguientes generaciones.
Para la audiencia friky y entusiasta de la IA, este episodio es un termómetro fascinante de hacia dónde va la relación entre máquinas y ciencia de frontera. No se trata solo de si una IA puede ‘hacer’ matemáticas, sino de quién controla el proceso, con qué transparencia se publican los resultados y qué papel les queda a los investigadores humanos cuando un modelo puede generar cientos de manuscritos en cuestión de días. Lo que está en juego, en el fondo, es la confianza: si la comunidad científica no logra verificar y entender lo que produce la IA, el conocimiento avanza, pero se vuelve opaco. Todo apunta a que en los próximos meses veremos más publicaciones de este tipo por parte de OpenAI, y previsiblemente más fricciones con la comunidad académica tradicional.
Fuente: https://www.xataka.com/investigacion/parte-comunidad-matematica-esta-pie-guerra-openai