La Controversia del Resultado de OpenAI sobre las Ecuaciones de Navier-Stokes
Logro en Matemáticas de OpenAI
OpenAI anunció que su modelo de inteligencia artificial interno logró una prueba verificada por Lean que demuestra que las ecuaciones de Navier-Stokes pueden «explotar». Este significativo hallazgo se consiguió utilizando 10,000 agentes de IA coordinados durante 88 horas.
Acusaciones de Plagio
El matemático de NYU, Tristan Buckmaster, acusó a Sébastien Bubeck de OpenAI de conocer su prueba no publicada y de presionar por el reconocimiento previo al anuncio de OpenAI. Buckmaster afirmó que su equipo y Levent Alpöge de Anthropic habían trabajado durante casi un año en esta cuestión, logrando resultados en agosto.
La Respuesta de OpenAI
OpenAI y sus representantes, incluyendo al CEO Sam Altman, han negado las acusaciones. Bubeck compartió mensajes de texto que, según él, demuestran que ofreció a Buckmaster’s equipo la opción de publicar primero.
Detalles del Descubrimiento
- El problema de Navier-Stokes es uno de los siete Problemas del Milenio, cada uno con un premio de $1 millón del Clay Mathematics Institute.
- OpenAI afirma que su demostración utilizó un modelo significativamente más avanzado que GPT-6 Astra.
- La prueba fue verificada mediante el software Lean, que valida cada paso de la prueba matemáticamente.
Los Hechos Desde la Perspectiva de Buckmaster
Buckmaster relató que, antes de la publicación de OpenAI, le compartió a un matemático de la empresa que estaban trabajando en un proyecto personal e independiente. Sin embargo, tres días después, Bubeck le comunicó que un modelo interno ya había producido una prueba extensa y ofreció dos opciones: que OpenAI publicara al día siguiente o que Buckmaster publicara solo, dejando a Alpöge fuera.
Defensa de OpenAI y la Credibilidad de la Prueba
En una declaración posterior, OpenAI aclaró que nunca accedió al trabajo de Buckmaster y Alpöge antes de su publicación y que no se basaron en datos específicos de usuarios para su desarrollo. Sin embargo, no descartaron que los datos de usuarios puedan haber mejorado sus modelos.
Reconocimiento de Experiencia en Matemáticas
Terence Tao, ganador de la Medalla Fields, calificó el logro de Buckmaster y Alpöge como un «logro notable». Su versión más avanzada de la prueba, la más cercana al problema de $1 millón, aún no se ha publicado a la espera de un chequeo final por Lean.
Resumen Final
La controversia continua, y mientras ambos equipos trabajan en sus respectivas pruebas, la comunidad matemática observa con interés y cautela los desarrollos de esta historia emocionante y compleja.
Boletín de Resumen Diario
Comienza cada día con las principales noticias y características originales, además de un podcast, videos y más.
Descargo de responsabilidad: Los puntos de vista y opiniones expresadas en este artículo pertenecen a su autor y no necesariamente reflejan aquellas de CriptoPasion. La opinión del autor es a título informativo y en ninguna circunstancia constituye una recomendación de inversión ni asesoría financiera.
