OpenAI vs matemáticos: 25 medallas Fields firman carta abierta

Veinticinco medallas Fields contra los laboratorios de IA

La Medalla Fields es el premio más prestigioso de las matemáticas, comparable a un Nobel del área: se otorga cada cuatro años a matemáticos menores de 40 años. Veinticinco de sus ganadores firmaron esta semana una carta abierta en la que acusan a los laboratorios de inteligencia artificial de amenazar el crédito intelectual de los investigadores mientras compiten entre sí por resolver problemas famosos.

El detonante inmediato fue una acusación del profesor de NYU Tristan Buckmaster, que señaló públicamente a OpenAI de presionarlo para que no citara a un colaborador que trabaja en Anthropic en la resolución de un problema matemático relevante. Buckmaster planteó además la posibilidad de que la compañía hubiera utilizado el trabajo que él desarrolló con Codex (el agente de programación de OpenAI) para producir su propia prueba durante un fin de semana maratoniano de inferencia. Según la carta de los Fields Medal, la prueba de OpenAI «sigue sin verificarse».

El jueves, la propia OpenAI retiró su patrocinio de un evento matemático en CalTech tras ser criticada por investigadores de la universidad.

🤖 La IA no es solo para leer sobre ella

En la comunidad la aplicamos: automatización, agentes IA y herramientas reales para emprender, no solo para informarte.

👥 Aplicarla en la comunidad

Por qué importa aunque no seas matemático

La carta no es un capricho académico: describe un cambio de incentivos que ya se siente en otras disciplinas creativas y técnicas. Si los laboratorios frontera ven un camino útil hacia un descubrimiento, pueden gastar «decenas de millones de dólares» usando modelos de lenguaje para superar a los investigadores originales en la entrega de una prueba, según el texto. Esa dinámica incentiva el secretismo donde antes reinaba la publicación abierta.

El miedo más concreto entre los matemáticos es íntimo: muchos usan Codex a diario para explorar ideas, y ahora temen que su propio trabajo con la herramienta termine alimentando los próximos modelos de OpenAI, que luego podrían usarse para resolver los problemas en los que ellos ya venían trabajando.

La Declaración de Leiden: el antecedente que faltaba

La carta llega apenas tres meses después de la Declaración de Leiden sobre Inteligencia Artificial y Matemáticas, publicada el 2 de junio de 2026 y respaldada por la Unión Matemática Internacional (IMU), el organismo que otorga la Medalla Fields. El documento, de 11 páginas, fue desarrollado durante ocho meses por un grupo de trabajo tras un taller en el Lorentz Center de Leiden en septiembre de 2025, y reúne a investigadores de Oxford, Cambridge, ETH Zúrich, Columbia y Northwestern, entre otras instituciones.

The Next Web reportó que la Declaración identifica cinco amenazas específicas que la IA supone para los valores que hacen confiable a la matemática:

Pruebas plausibles pero no confiables: los modelos producen argumentos difíciles de distinguir de demostraciones correctas, lo que somete a los revisores a una presión enorme.
Atribución rota: los modelos entrenados con papers publicados no citan correctamente las contribuciones humanas que sintetizan, y en muchos casos lo hacen a partir de licencias o accesos que «no fueron concebidos con la inteligencia artificial en mente».
El uso de IA por el uso mismo: se está incentivando el uso de IA por sí solo, distorsionando contratación, financiamiento y reconocimiento.
Press releases en lugar de peer review: los resultados se comunican cada vez más por notas de prensa y blog posts en «plazos de mercado», antes de que la comunidad pueda evaluarlos.
Autonomía disciplinar: las preguntas de investigación pasan a priorizarse porque son automatizables, no porque los expertos las juzguen significativas.

La Declaración usa como ejemplo el caso de AlphaProof de Google DeepMind, que resolvió tres problemas de la Olimpiada Internacional de Matemática en 2024 pero tardó más de un año en publicar sus métodos en una venue con revisión por pares. Ars Technica, además, recordó que la Declaración se publicó apenas dos semanas después de que OpenAI difundiera que uno de sus modelos había «desmentido» una conjetura geométrica de 80 años de antigüedad.

Firmas con peso institucional

La Declaración de Leiden sumó 37 signatarios verificados en su primer día y ya cuenta con adhesiones de alto perfil. Entre los nombres más visibles, según The Next Web:

Peter Scholze, medalla Fields y director del Max Planck Institute for Mathematics.
Robbert Dijkgraaf, ex ministro de Educación de Países Bajos y presidente electo del International Science Council.
Steven Strogatz, profesor distinguido de la Universidad de Cornell.
Kevin Buzzard, del Imperial College London, una de las voces más visibles en matemáticas formalizadas.
Ulrike Tillmann, vicepresidenta de la IMU.

La carta de los 25 Fields Medal de esta semana es, en la práctica, la respuesta política de los matemáticos al agravamiento de los hechos que la Declaración de Leiden ya había descrito en junio.

Qué dice OpenAI (y qué no)

Hasta el momento de la nota original de TechCrunch, OpenAI no había refutado públicamente la acusación de Buckmaster, y su prueba «sigue sin verificarse» por la comunidad, según la carta. Lo que sí hizo fue retirar el patrocinio del evento de CalTech, una decisión que sus críticos leen como una señal de presión sobre la comunidad académica, y que la propia compañía probablemente presenta como una desescalada.

Qué significa esto para tu startup

Aunque no trabajes en matemáticas, el conflicto describe un patrón que ya toca a desarrolladores, diseñadores, escritores y músicos: cuando una herramienta de IA absorbe trabajo creativo de bajo costo y lo devuelve como producto terminable, la frontera entre colaboración y sustitución se vuelve borrosa. Para un founder, eso tiene consecuencias prácticas:

Audita el modelo con el que trabajas: si tu producto depende de Codex, Claude Code, Cursor o Copilot, documenta internamente qué datos de clientes o de tu propio equipo pueden estar alimentando el entrenamiento o el contexto de futuras versiones. El miedo de los matemáticos es literal: «¿lo que hago aquí vuelve como prueba contra mí?» Tu equipo se hará la misma pregunta.
Diseña tus políticas de atribución antes de que te las impongan: si tu startup usa IA para generar código, textos, diseños o investigación, define por escrito quién es el autor humano, qué partes son revisables y qué no. Los matemáticos llevan meses intentando hacer esto con sus journals; las startups que lo resuelvan primero tendrán una ventaja en licitaciones, partnerships y rondas donde la IP se audita.

Lo que viene

La propia carta lo dice sin rodeos: «Si no te importa el mundo despiadado de las pruebas matemáticas, no olvides: tu campo de interés es el siguiente». El software engineering ya pasó por aquí con el auge de los AI coding agents; la investigación científica, el diseño, la música y el periodismo están en distintas etapas del mismo bucle. La Declaración de Leiden recomienda a los policymakers «no creer el hype» y exigir mayor supervisión pública sobre la industria. Para los founders, el mensaje es más terrenal: en una economía donde la IA tracciona el trabajo de todos, la confianza en quién hizo qué vale tanto como el resultado en sí.