OpenAI insinúa un segundo avance en los Problemas del Milenio

Menos de dos semanas después de afirmar haber resuelto el problema de existencia y suavidad de Navier-Stokes, OpenAI ha sugerido que podría estar cerca de descifrar otro de los siete Problemas del Milenio, con especulaciones centradas en la Conjetura de Hodge. El movimiento ocurre mientras la empresa enfrenta una reacción organizada de la comunidad matemática, incluyendo una carta firmada por 25 ganadores de la Medalla Fields que advierte sobre una "grave desalineación" entre las empresas de IA y la disciplina que están transformando.

Las consecuencias de Navier-Stokes

El 8 de septiembre, OpenAI anunció que cerca de 10,000 agentes de IA coordinados, impulsados por un modelo interno no publicado, produjeron una prueba de 166 páginas y una formalización en Lean demostrando que las ecuaciones de Navier-Stokes pueden "explotar" (generando velocidades de fluido infinitas a partir de condiciones iniciales suaves) durante un cálculo de 88 horas iniciado el 1 de septiembre. El anuncio provocó acusaciones inmediatas del matemático de la NYU Tristan Buckmaster, quien alegó que OpenAI se apresuró a abordar el problema tras enterarse de que él y el investigador de Anthropic, Levent Alpöge, estaban logrando avances con un enfoque similar. OpenAI negó las acusaciones, afirmando que era "categóricamente" imposible que el trabajo de Buckmaster hubiera influido en su modelo interno.nytimes+3

La controversia escaló rápidamente. El 11 de septiembre, Terence Tao y otros 24 medallistas Fields publicaron una declaración titulada "Una grave desalineación de la IA en las matemáticas", argumentando que las empresas de IA están tratando problemas famosos como puntos de referencia para la fuerza bruta en lugar de vehículos para una comprensión genuina. "A menudo, estas soluciones se anuncian con prisa, sin dejar tiempo para una redacción adecuada, el aislamiento de nuevos métodos e ideas, y la citación del trabajo previo relevante de otros", señaló la carta. Casi 6,000 matemáticos adicionales se han sumado desde entonces.science+2

Por separado, más de 1,000 matemáticos firmaron una carta abierta oponiéndose a un "mathathon" planeado en Caltech que habría emparejado a investigadores con créditos de computación de IA de OpenAI y Anthropic, calificándolo como una explotación corporativa de académicos en etapas tempranas de su carrera. OpenAI se retiró posteriormente del evento.science

Un segundo Problema del Milenio

Incluso mientras los matemáticos analizan la densa prueba de Navier-Stokes, OpenAI ha señalado que podría estar cerca de una solución para un segundo Problema del Milenio, según informes de The Information y Science. La empresa no ha confirmado qué problema está abordando, pero las especulaciones convergen en la Conjetura de Hodge, un problema de geometría algebraica tan abstracto que incluso su formulación requiere experiencia de nivel de posgrado. También han circulado rumores sobre la conjetura de Birch y Swinnerton-Dyer como un posible objetivo para OpenAI o Anthropic.theinformation+4

El momento ha generado duras críticas. Javier Gómez-Serrano, de la Universidad de Brown, quien dio una conferencia sobre la prueba de Navier-Stokes en Harvard el 11 de septiembre, describió el documento de 166 páginas como "incomprensible" y dijo que la comunidad matemática está experimentando una "crisis existencial". Sergei Gukov, de Caltech, comparó el momento con "un terremoto".science

Si la próxima afirmación de OpenAI, en caso de materializarse, profundizará la brecha con los matemáticos o marcará un punto de inflexión hacia la colaboración, sigue siendo una pregunta abierta. Como escribieron los medallistas Fields: el desafío que enfrenta la matemática ahora "indica problemas que toda la humanidad podría enfrentar: cómo asegurarnos de que, a medida que la IA cambia la forma en que se realiza el trabajo, no perdamos de vista lo que ese trabajo debía lograr en primer lugar".terrytao.wordpress