Medalla Fields en alerta: los popes de la matemática le bajan el pulgar a la IA que "resuelve" problemas

¿A vos te suena lógico que un sistema te escupa la solución de un teorema que nadie pudo demostrar en doscientos años y al rato ya esté circulando como si fuera un gol en una final? A mí tampoco. Y a veinticinco de los cerebros más lúcidos que dio la matemática moderna, tampoco. Los flamantes firmantes de una carta abierta, todos con la medalla Fields colgada en la pared, salieron a marcarle la cancha a los laboratorios de inteligencia artificial que están usando los problemas abiertos como si fueran benchmarks, o sea, pruebas de rendimiento para mostrar músculo técnico.

¿Qué les molesta exactamente?

La queja de fondo no es que las máquinas demuestren cosas. De hecho, los propios firmantes reconocen que los grandes modelos de lenguaje, esos sistemas que generan texto y código a partir de patrones aprendidos con bibliotecas enteras, dieron un salto enorme y hoy pueden morder problemas serios en distintas ramas de la matemática. El problema es otro: que ese avance se festeja como un resultado deportivo, sin el trabajo lento y colaborativo que hace que una demostración pase de ser un hallazgo aislado a una herramienta que un estudiante de quinto año de la facultad pueda entender.

• Atribución y plagio: las soluciones llegan atropelladas, sin el tiempo para citar bien a quienes cimentaron las ideas previas, algo parecido a lo que ya pasa en el periodismo o en la música.
• Cadena de conocimiento en riesgo: si nadie se toma el trabajo de reescribir, simplificar y discutir esas demostraciones, el saber no pasa de generación en generación.
• La matemática como espectáculo: convertir cada teorema en una final de Champions League vacía de sentido lo que termina generando es un montón de afirmaciones sueltas y poco terreno fértil para ideas nuevas.

Pongamos un ejemplo bien de acá, de Santa Fe: cuando un profesor del Liceo explica el teorema de Pitágoras, no te tira la fórmula y listo. Te cuenta quién era Pitágoras, qué debatían los griegos, por qué esa idea cambió la forma de mirar el mundo. Ahora imaginá que una IA te escupe la demostración de un problema del milenio como quien te pasa el link de un pdf. ¿Te queda algo? Esa es, en criollo, la preocupación de los medalistas.

¿Y qué piden?

Los firmantes no le están pidiendo a las empresas de IA que guarden los servidores en un placard. Lo que solicitan, con tono urgente, es que se trate este tema como lo que es: un problema serio de desalineación entre lo que busca un laboratorio cuando quiere mostrar que su modelo es el más capo y lo que necesita una comunidad científica para que el conocimiento siga vivo. Lo que llaman "desalineaciones más amplias" alcanza también a la ingeniería de software, donde la IA ya escribe código a destajo y nadie se pregunta después quién lo mantiene, quién lo audita, quién lo entiende.

La carta, al cierre, deja una advertencia que va más allá de la matemática: cuando la generación de respuestas se vuelve un fin en sí mismo y deja de ser una herramienta al servicio de comprender, la propia disciplina se convierte en su propio obstáculo. Veremos si los popes del sector, esos CEOs a los que les encanta sacarse fotos con cualquier avance, se toman en serio la advertencia o la archivan junto con los papers que nadie lee.