RespuestasPublicado21 fuentes
Por qué OpenAI dejó sin cobrar el premio de US$1 millón de Justin Sun por Navier-Stokes
OpenAI aparecía como elegible para cobrar el premio de US$1 millón de Justin Sun, pero el dinero seguía sin reclamarse al 17 de septiembre de 2026. La diferencia clave está entre verificar formalmente un teorema codificado y lograr aceptación general de que la prueba, sus supuestos y su alcance resuelven exactamente...
Publicado porEditado con GPT-5.6 TerraImágenes generadas con GPT Image 2
Respuesta de investigación
Conclusiones clave
- OpenAI aparecía como elegible para cobrar el premio de US$1 millón de Justin Sun, pero el dinero seguía sin reclamarse al 17 de septiembre de 2026.
- La diferencia clave está entre verificar formalmente un teorema codificado y lograr aceptación general de que la prueba, sus supuestos y su alcance resuelven exactamente el problema del Milenio.
- El caso también abrió una disputa por la prioridad: el matemático Tristan Buckmaster cuestionó la atribución del trabajo y OpenAI rechaza esas acusaciones.
Prompt de IA
openai.comCreate a landscape editorial hero image for this Studio Global article: What happened when OpenAI declined to claim Justin Sun’s $1 million prize for its reported AI-generated solution to the three-dimensional Na. Article summary: OpenAI did not claim Justin Sun’s inaugural $1 million prize, even though Sun’s program listed its Navier–Stokes submission as the top award. The company’s reported result is significant but remains a claim under scrutin. Topic tags: general, news, general web, academic, government. Style: premium digital editorial illustration, source-backed research mood, clean composition, high detail, modern web publication hero. Use reference image context only for broad subject, composition, and topical grounding; do not copy the exact image. Avoid: logos, brand marks, copyrighted characters, real person likenesses, fake screenshots, UI text, readable text, watermarks, ch
OpenAI fue designada como la primera ganadora principal del nuevo premio matemático de Justin Sun por su resultado sobre Navier-Stokes, pero no había reclamado los US$1 millón. La decisión importa porque no se trata solo de una IA que habría encontrado una demostración: también pone a prueba qué valor tienen la verificación formal, los premios privados, la revisión independiente y el crédito científico cuando sistemas de IA intervienen en matemáticas de frontera. 3
6
8
9
Qué afirma haber demostrado OpenAI
El 8 de septiembre de 2026, OpenAI publicó una explicación y una formalización en Lean —un asistente de pruebas que permite comprobar demostraciones mediante software— sobre las ecuaciones tridimensionales incompresibles de Navier-Stokes. La compañía afirma que su sistema interno halló una prueba analítica de que un fluido inicialmente suave y en reposo puede desarrollar una singularidad en tiempo finito si actúa sobre él una fuerza externa suave. 6
En la clasificación del enunciado de Clay, la afirmación corresponde a la vía del contraejemplo con fuerza externa, los casos C y D. No demuestra las alternativas de regularidad global sin fuerza externa, los casos A y B. La precisión es decisiva: decir simplemente que «Navier-Stokes está resuelto» puede ocultar la diferencia entre una construcción de explosión con forzamiento y una resolución completa aceptada por la comunidad de todo lo que suele asociarse con este problema. 6
18
19
Cómo se produjo y verificó la prueba
OpenAI dice que empezó a probar un modelo interno aún en entrenamiento sobre el problema el 28 de agosto y amplió el trabajo después del 1 de septiembre. Describe grupos coordinados de agentes con acceso a código y material web almacenado en caché; el esfuerzo sobre Navier-Stokes involucró aproximadamente 10.000 agentes concurrentes. 6
Según los reportes, la fase de descubrimiento duró unas 88 horas. Después, GPT-6 Astra dedicó cerca de 17 horas a formalizar y comprobar el trabajo en Lean. OpenAI ha subrayado que el modelo que encontró el resultado era un sistema interno considerablemente más capaz que GPT-6 Astra; el papel de Astra se vinculó a la formalización y verificación, no necesariamente al descubrimiento matemático original. 6
8
La distinción no es un detalle de marketing. Una verificación en Lean puede aportar evidencia muy sólida de que un teorema formulado se deriva de los supuestos que fueron codificados. Pero no determina por sí sola si esos supuestos recogen todas las condiciones exigidas por el planteamiento de Clay, ni sustituye la evaluación externa sobre el alcance y la interpretación de la demostración.
Por qué Clay no ha entregado su propio millón de dólares
El premio del Clay Mathematics Institute es independiente del de Sun. Clay comunicó el 11 de septiembre que evaluaba el anuncio de OpenAI conforme a sus reglas y describió el proceso como deliberadamente pausado. 1
Las normas publicadas para los Problemas del Milenio exigen que una solución propuesta aparezca en una publicación que cumpla los requisitos, que transcurran al menos dos años desde esa publicación y que la solución obtenga aceptación general en la comunidad matemática mundial antes de que Clay pueda considerarla para un premio. Por ello, el resultado no puede traducirse de inmediato en un premio Clay, incluso si el código en Lean funciona como se ha informado.
El estado práctico es claro: OpenAI ha hecho pública su afirmación y ha difundido material de formalización, pero el Clay Mathematics Institute no la ha reconocido con su Premio del Milenio. Matemáticos independientes aún deben examinar la prueba analítica, la formalización y si el resultado cumple las condiciones pertinentes del problema. 1
6
Qué reconoce el premio de Justin Sun
Sun anunció su premio el 16 de septiembre como un programa descentralizado de recompensas académicas para avances en investigación fundamental y verificación formal por máquinas. La primera ronda incluyó 66 problemas matemáticos, y el resultado declarado por OpenAI sobre Navier-Stokes recibió el máximo galardón, de US$1 millón. 3
14
El planteamiento del programa es más amplio y rápido que el de Clay: busca reconocer pruebas verificables por máquina y se presenta como abierto a investigadores humanos, sistemas de IA y colaboraciones entre personas e IA. 4
14
Es, por tanto, un premio privado con sus propias reglas de elegibilidad, no un sustituto de los estándares mediante los cuales la comunidad matemática establece corrección, prioridad o importancia duradera. Ser nombrado ganador con los criterios de Sun no obliga a Clay ni a otros investigadores a considerar el asunto definitivamente resuelto.
Por qué el dinero quedó sin cobrar
Informaciones sobre el repositorio del premio señalaban que OpenAI figuraba como elegible para reclamar el galardón, pero aún no lo había hecho. Esos reportes vincularon la decisión con la disputa no resuelta sobre el origen de la prueba y con la decisión de OpenAI de no buscar en ese momento el premio de Clay. 8
9
OpenAI no ha establecido públicamente una razón definitiva para rechazar o aplazar el cobro en el material revisado. La interpretación prudente, por tanto, es limitada: aceptar un premio privado mientras el alcance, la procedencia y el crédito de la prueba siguen en discusión podría interpretarse como una declaración de cierre antes de que concluya el proceso habitual de validación profesional.
La disputa por la atribución también es una cuestión científica
Tristan Buckmaster, matemático de la Universidad de Nueva York, ha alegado que el trabajo de OpenAI se apoyó en investigación no pública. OpenAI rechaza la acusación. La información disponible no establece una resolución independiente y definitiva de esa controversia. 1
20
La revista Nature ha sostenido que el episodio muestra la necesidad de que las compañías de IA colaboren más estrechamente con la comunidad investigadora en materia de atribución y reconocimiento. En las matemáticas asistidas por IA, los sistemas pueden explorar, recombinar y formalizar ideas a una escala inusual, mientras que reconstruir el origen de una intuición concreta puede resultar difícil. 17
20
Nada de esto demuestra que la prueba formal sea incorrecta. Sí muestra que corrección y crédito son cuestiones distintas, y ambas importan ante un avance que podría transformar un área central de las matemáticas.
El veredicto por ahora
La afirmación de OpenAI es extraordinaria: reporta una construcción de singularidad en tiempo finito para una formulación relevante de Navier-Stokes, encontrada mediante un flujo de trabajo masivo con agentes y acompañada de una formalización en Lean. 6
18
19
Pero todavía no debe describirse como una solución del Problema del Milenio reconocida por Clay. El premio de US$1 millón de Sun habría quedado sin cobrar, el proceso de Clay es independiente y mucho más lento, y la disputa por la atribución continúa sin resolverse. 1
8
9
20
Los próximos hitos relevantes serán la revisión independiente de las matemáticas, la comprobación cuidadosa de que el enunciado formal coincide con las condiciones del problema que se pretende abordar y una explicación creíble de la prioridad y la autoría. Hasta entonces, la descripción más precisa es la de una afirmación matemática de IA potencialmente muy importante, con un componente verificable por máquina, pero no un resultado final avalado por consenso.
Studio Global AI
Continúe su investigación
Esta página incluye una respuesta respaldada por fuentes que puede continuar dentro de Studio Global.
La gente también pregunta
¿Cuál es la respuesta corta a "Por qué OpenAI dejó sin cobrar el premio de US$1 millón de Justin Sun por Navier-Stokes"?
OpenAI aparecía como elegible para cobrar el premio de US$1 millón de Justin Sun, pero el dinero seguía sin reclamarse al 17 de septiembre de 2026.
¿Cuáles son los puntos clave a validar primero?
OpenAI aparecía como elegible para cobrar el premio de US$1 millón de Justin Sun, pero el dinero seguía sin reclamarse al 17 de septiembre de 2026. La diferencia clave está entre verificar formalmente un teorema codificado y lograr aceptación general de que la prueba, sus supuestos y su alcance resuelven exactamente el problema del Milenio.
¿Qué debo hacer a continuación en la práctica?
El caso también abrió una disputa por la prioridad: el matemático Tristan Buckmaster cuestionó la atribución del trabajo y OpenAI rechaza esas acusaciones.
Fuentes
coinpost.aiJustin Sun launches $1 million math prize and names first winners
openai.comOn the Navier–Stokes Millennium Prize Problem
yellow.comOpenAI Leaves $1M Justin Sun Math Prize Unclaimed After Navier-Stokes Win | Yellow
yahoo.comOpenAI Rejects Another Math Prize, This Time Justin Sun's ...
nature.comDaily briefing: OpenAI claims a huge maths breakthrough