OpenAI ha anunciado la resolución de uno de los Problemas del Milenio —el problema de la existencia y suavidad de las soluciones de las ecuaciones de Navier-Stokes— mediante un sistema interno de IA y aproximadamente 10 mil agentes autónomos que trabajaron durante 88 horas. La empresa destinó millones de dólares en recursos de computación para ello y verificó el resultado utilizando el lenguaje Lean. Es la primera vez que una IA aspira a resolver uno de los siete problemas con un premio de un millón de dólares del Instituto Clay.
Sin embargo, inmediatamente después del anuncio, surgió una aguda disputa sobre la autoría. Los matemáticos Tristán Buckmaster, de la Universidad de Nueva York, y Levent Alpöge, de Anthropic, habían logrado un progreso significativo en aspectos relacionados del problema un mes antes, utilizando activamente herramientas de IA, incluido Codex de OpenAI. Buckmaster señaló en una declaración pública que OpenAI podría haber tenido acceso a sus borradores a través de chats o del entrenamiento de modelos, aunque la empresa lo niega categóricamente, afirmando que no se utilizaron los datos de los usuarios.
La situación se complicó con la propuesta de OpenAI de una publicación conjunta, en la que se proponía excluir a Alpöge de los autores debido a su trabajo en una empresa competidora. Buckmaster se negó y las negociaciones se volvieron tensas. No se trata de un simple conflicto personal: revela problemas sistémicos que surgen cuando laboratorios comerciales con recursos ingentes entran en la carrera por resultados fundamentales, apoyándose en el trabajo de investigadores independientes.
Técnicamente, el enfoque de OpenAI —escalar una multitud de agentes para buscar la singularidad en las ecuaciones tridimensionales de Navier-Stokes— difiere de una demostración humana tradicional. Anteriormente, el progreso se basaba en los trabajos de Diego Córdoba y Luis Martínez-Zoroa, que Buckmaster y Alpöge desarrollaron con la ayuda de la IA. OpenAI, por su parte, destinó a la tarea una potencia de cálculo sin precedentes, lo que permitió «reventar» el problema en días, en lugar de años.
La metodología plantea interrogantes sobre la reproducibilidad y la generalización. Aunque el resultado está formalizado en Lean, la verificación independiente por parte de la comunidad aún está pendiente. No está claro hasta qué punto el enfoque es escalable a otros Problemas del Milenio o si requiere instrucciones específicas no disponibles para los investigadores comunes. La comparación con éxitos anteriores de la IA en matemáticas, como la resolución de problemas de Erdős, muestra que aquí la escala es distinta: no se trata de una heurística aislada, sino de un ataque masivo de agentes.
En el panorama actual, este evento contrasta con los trabajos de Anthropic y otros laboratorios, donde la IA se utiliza como una herramienta para potenciar la inteligencia humana, no para reemplazarla. OpenAI subraya que no reclamará el premio, pero el mero hecho del anuncio cambia la dinámica: ahora las grandes empresas pueden «cerrar» problemas abiertos más rápido que los grupos académicos, lo que pone en duda los mecanismos tradicionales de prioridad y citación.
Las consecuencias para este campo son significativas. Varios matemáticos, incluidos ganadores de la Medalla Fields, ya han expresado su preocupación por el desalineamiento de objetivos: las empresas persiguen victorias públicas, mientras que la ciencia valora el progreso gradual y colaborativo. Esto podría llevar a que los investigadores oculten resultados intermedios o eviten el uso de herramientas comerciales de IA.
Las preguntas abiertas incluyen: si la demostración será aceptada por el Clay Mathematics Institute, cómo distribuir exactamente el crédito entre humanos y agentes de IA, y si tal carrera no conducirá a una fragmentación de la comunidad. Son necesarios nuevos protocolos para rastrear la contribución en las investigaciones asistidas por IA.
En última instancia, este caso demuestra que la aceleración de los descubrimientos matemáticos mediante la IA requiere una revisión simultánea de las normas de autoría y ética; de lo contrario, la confianza en la comunidad se verá amenazada.
