25 medallistas Fields, con Terence Tao a la cabeza, firmaron una declaración conjunta sobre matemáticas e IA (mathandai.org): celebran el progreso, pero denuncian que la carrera corporativa por resolver problemas como benchmark perjudica a la ciencia matemática y a su comunidad. Los objetivos de las compañías y los de la comunidad, dicen, están gravemente desalineados.

El detonante es el caso Navier-Stokes: un modelo interno de OpenAI habría rematado una prueba tras conocer el trabajo de Buckmaster y Anthropic, con un despliegue de ~10.000 instancias concurrentes y 300.000 millones de tokens —factura estimada en decenas de millones de dólares— frente a un grant NSF de $450.000. Para los firmantes, esa asimetría resume el problema: no compiten ideas, compiten chequeras.

La crítica técnica también pesa: para que el LLM resolviera hizo falta entrenarlo con borradores humanos que ya iban por buen camino, más un equipo diez veces mayor que los autores originales. La IA no caminó sola al resultado; caminó sobre hombros —y presupuestos— ajenos.

La declaración, al estilo de la declaración de Leiden, queda abierta a más firmas y pide lo esencial: que las compañías dejen de usar la matemática como trofeo de marketing y contribuyan en serio —financiamiento, herramientas útiles, colaboración— en vez de extraer prestigio de una comunidad que no puede competir en cómputo.

El debate ya es existencial para la disciplina más antigua: si resolver problemas del millón se vuelve cuestión de quién quema más tokens, el significado de hacer matemáticas cambia para siempre. La comunidad pide discutirlo con calma. Las compañías, de momento, aceleran.

Fuentes: Declaración conjunta mathandai.org, Terence Tao en Mathstodon y The Economist. Fuente imagen: Terence Tao. Fotografía de Gert-Martin Greuel, licencia CC BY-SA 2.0 de vía Wikimedia Commons.