OpenAI figura como ganadora del primer premio de matemáticas de 1 millón de dólares de Justin Sun por su prueba de Navier-Stokes, pero el galardón sigue sin ser reclamado, después de que la compañía también renunciara a optar al premio del Clay.
Claves:
- El repositorio del premio de Sun marca resuelto el reto de Navier-Stokes de OpenAI, apto para ser cobrado y aún sin reclamar.
- OpenAI afirma que 10.000 agentes de IA trabajaron unas 88 horas antes de que GPT-6 Astra dedicara otras 17 horas a formalizar y verificar la prueba.
- El Clay Mathematics Institute mantiene 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 ganador de su primer gran galardón de 1 millón de dólares por resolver el problema tridimensional de Navier-Stokes. El registro público en GitHub indica que el problema está resuelto y habilitado para cobrar el premio, pero el dinero no ha sido reclamado.
OpenAI publicó su resultado el 8 de septiembre, explicando que unos 10.000 agentes trabajaron alrededor de 88 horas antes de que GPT-6 Astra invirtiera otras 17 horas en formalizar y verificar la prueba en Lean. La compañía señaló que no tiene intención de solicitar el millón de dólares del Millennium Prize asociado al problema por el Clay Mathematics Institute.
El instituto Clay sigue calificando el problema como activo y afirmó 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 proclamó ganador al equipo de OpenAI sin esperar al mismo procedimiento tradicional de revisión.
También lea: La minería de Bitcoin afronta una brecha del 50% en hashrate mientras la IA acapara capacidad
Las reglas de Justin Sun
Sun sostiene que su premio está diseñado para recompensar resultados con independencia de si los logra una persona o un sistema de IA, situando la verificación formal en el centro del proceso de adjudicación. “Solo me importa el resultado, no si el autor es humano o máquina”, afirmó Sun. Su repositorio advierte asimismo de que el anuncio de OpenAI no equivale a revisión por pares y que la aceptación general de la comunidad matemática aún no está confirmada.
Persisten las dudas sobre la autoría porque Tristan Buckmaster, profesor de la Universidad de Nueva York, aseguró que trabajo inédito realizado con un colega había sido almacenado en un producto de OpenAI, aunque añadió que no sabe 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 los prompts de Codex utilizados por Buckmaster no pudieron influir en el sistema que generó la prueba.
La controversia estalló después de que OpenAI anunciara el 8 de septiembre que su sistema interno había resuelto el histórico problema de existencia y regularidad de Navier-Stokes, demostrando la aparición de una singularidad en tiempo finito bajo las condiciones oficiales del enunciado.
El Clay creó en 2000 los Millennium Prize Problems, con un millón de dólares asociado a cada uno. Más de dos décadas después, Navier-Stokes permanece oficialmente abierto mientras la comunidad matemática examina la nueva prueba y las cuestiones de atribución del mérito.
A continuación: Shiba Inu repara el enlace roto de la billetera de Shibarium, pero SHIB cae un 6% en una semana
