Medallistas Fields les piden a los laboratorios de IA que frenen la carrera por demostrar teoremas

Un grupo de veinticinco matemáticos que recibieron la medalla Fields, el reconocimiento más alto que existe dentro de la disciplina, publicó una carta abierta para advertir sobre un fenómeno que, según ellos, ya está pasando: los grandes laboratorios de inteligencia artificial están usando los problemas matemáticos más difíciles del mundo como una vitrina para mostrar de qué son capaces sus modelos, y ese uso competitivo termina haciendo daño a la ciencia que dice representar.

Cómo funciona la lógica que los firmantes cuestionan

Para entender el reclamo hay que pensar en cómo funciona el ciclo de vida de un teorema importante, que es algo así como la cocina de un restaurant de barrio: el matemático estrella presenta un plato nuevo y vistoso, pero ese plato no queda servido en la mesa del alumno hasta que otros cocineros lo simplifican, lo reescriben, le ajustan la sal y lo explican paso a paso en libros y seminarios. Esa cadena, que puede llevar años, es la que vuelve a una idea nueva parte del conocimiento común de la disciplina. Los modelos de inteligencia artificial, sostienen los firmantes, saltan casi todos los pasos intermedios: anuncian el resultado como si fuera un spot publicitario, con apuro y sin la etapa de redacción cuidadosa, sin aislar qué método es genuinamente nuevo y sin citar los trabajos anteriores sobre los que se apoya.

• Atribución incorrecta: la solución atribuye como propias ideas que en realidad son reelaboraciones de resultados previos de otros autores.
• Plagio: se reutilizan demostraciones o técnicas sin reconocer la fuente, un problema que los firmantes equiparan al que sufren hoy otras profesiones creativas.
• Pérdida de la cadena de transmisión: sin matemáticos formados que se sienten a estudiar esas soluciones para incorporarlos a los programas de grado y posgrado, la idea queda colgada en el aire, sin pasar de generación en generación.

“Convertir la resolución de problemas en un fin en sí mismo, en lugar de tratarla como una herramienta al servicio de la comprensión, puede volverla un obstáculo para la propia disciplina.”Carta abierta de los veinticinco medallistas Fields

La carta no niega lo que, reconocen, es un avance real: los grandes modelos de lenguaje mejoraron mucho en los últimos años en su capacidad para abordar problemas abiertos en áreas como la combinatoria, la teoría de números o la geometría. Lo que cuestionan es el marco en el que se presentan esos logros. Para los laboratorios, una demostración nueva funciona como un benchmark, una palabra inglesa que en la jerga tecnológica designa una prueba de rendimiento: cuanto más difícil y más célebre el problema resuelto, mejor posicionado queda el modelo en la pelea por captar inversión, prensa y talento. Para la matemática, en cambio, una demostración valiosa es apenas el punto de partida de un trabajo paciente de años.

Qué falta para que el debate llegue a un acuerdo

Los firmantes piden que el tema se trate con urgencia, pero todavía no existe una mesa formal de discusión entre los laboratorios y la comunidad matemática. Falta, en primer lugar, un compromiso público de las empresas para reservar tiempo entre el anuncio de un resultado y su difusión, de modo que la demostración pueda pulirse y citarse como corresponde. Falta, además, un protocolo claro para que los modelos informen de qué trabajos previos dependen sus soluciones, algo equivalente al listado de ingredientes que hoy exige cualquier publicación académica. Y falta, sobre todo, que haya financiamiento y reconocimiento para los matemáticos que se dedican a la tarea menos vistosa pero más duradera: tomar una idea nueva, por más revolucionaria que sea, y volverla enseñable.