OpenAI figura como ganadora del primer premio de matemáticas por US$1 millón de Justin Sun por su demostración de Navier-Stokes, pero el galardón sigue sin reclamarse después de que la compañía también renunciara a optar al premio del Clay.
Puntos clave:
- El repositorio del premio de Sun marca la aportación de OpenAI sobre Navier-Stokes como resuelta, apta para cobrar y aún sin reclamar.
- OpenAI señaló que 10.000 agentes de IA trabajaron unas 88 horas antes de que GPT-6 Astra dedicara otras 17 horas a formalizar y comprobar la prueba.
- El Clay Mathematics Institute sigue considerando el problema de Navier-Stokes como activo mientras revisa el resultado anunciado.
El premio de OpenAI
El nuevo premio de Sun designó al equipo de investigación de OpenAI como destinatario de su primer gran galardón de US$1 millón por el problema tridimensional de Navier-Stokes. El registro público en GitHub marca el problema como resuelto y elegible para ser cobrado. El dinero, sin embargo, no ha sido solicitado.
OpenAI hizo público su resultado el 8 de septiembre, explicando que unos 10.000 agentes trabajaron durante aproximadamente 88 horas antes de que GPT-6 Astra invirtiera otras 17 horas en formalizar y verificar la prueba en Lean. La compañía indicó que no tiene intención de reclamar el Millennium Prize de US$1 millón asociado a este problema por el Clay Mathematics Institute.
El instituto Clay sigue clasificando el problema como activo y señaló el 11 de septiembre que el anuncio parece resolver la cuestión, aunque sus normas exigen una evaluación exhaustiva antes de cualquier decisión sobre el premio. Ese proceso aún no ha concluido. El premio independiente de Sun se basa en pruebas verificables por máquina y nombró al equipo de OpenAI sin esperar al mismo proceso tradicional de revisión.
También puede leer: La minería de Bitcoin encara una brecha del 50% en hashrate mientras la IA absorbe capacidad
Las reglas de Justin Sun
Sun afirma que su premio está diseñado para recompensar resultados con independencia de si son producidos por una persona o por un sistema de inteligencia artificial, situando la verificación formal en el centro del proceso de adjudicación. “Solo me importa el resultado, no si el contribuyente es humano o máquina”, afirmó Sun. Su repositorio también advierte de que el anuncio de OpenAI no equivale a revisión por pares y que aún no se ha confirmado una aceptación amplia por parte de la comunidad matemática.
Persisten las dudas sobre la atribución porque Tristan Buckmaster, profesor de la Universidad de Nueva York, aseguró que un trabajo inédito realizado con un colega había sido almacenado en un producto de OpenAI, si bien añadió que no sabía si el modelo lo utilizó. “No estoy acusando a nadie de nada”, declaró Buckmaster a The Guardian. OpenAI respondió que su investigación concluyó que las instrucciones de Buckmaster en Codex no podían haber influido en el sistema que generó la prueba.
La controversia estalló después de que OpenAI afirmara el 8 de septiembre que su sistema interno había resuelto el histórico problema de existencia y suavidad de Navier-Stokes demostrando una singularidad en tiempo finito bajo las condiciones oficiales.
El Clay creó en el año 2000 los Millennium Prize Problems, con US$1 millón asociado a cada uno. Más de dos décadas después, el problema de Navier-Stokes sigue formalmente abierto mientras los matemáticos examinan la nueva demostración y las cuestiones sobre el reparto del mérito.
Lea a continuación: Shiba Inu repara el enlace roto de la wallet de Shibarium, pero SHIB cae un 6% en una semana
