- ¿Retirará OpenAI su solución de las ecuaciones de Navier-Stokes en 2026?6¢6 %
OpenAI’s September 2026 announcement of an AI-generated proof establishing finite-time singularity for the forced 3D Navier-Stokes equations—complete with a publicly released 166-page manuscript and Lean formalization—has anchored trader sentiment against retraction. The machine-verified formalization and the result’s alignment with Clay Institute statements C and D provide a high bar for any later withdrawal, even amid credit disputes with Buckmaster and Alpöge and separate retractions of other OpenAI math preprints in October. Community scrutiny continues without reported fatal errors, while the company’s decision not to claim the Millennium Prize reduces external pressure. A reversal would require discovery of a substantive flaw in the verified construction or a major shift in how the result is framed, outcomes that remain low-probability given the current verification status.
Reglas
Este mercado se resolverá a favor de "Sí" si OpenAI se retracta de su solución de Navier-Stokes entre la creación del mercado y el 31 de diciembre de 2026, a las 23:59 ET. De lo contrario, este mercado se resolverá como "No". La solución de Navier-Stokes de OpenAI se refiere a la solución de Navier-Stokes que OpenAI anunció el 8 de septiembre de 2026 (https://openai.com/index/navier-stokes-solution/). Se considerará que una retractación cumple los requisitos cuando OpenAI declare oficial y públicamente que la demostración publicada era incorrecta o no resuelve el problema de Navier-Stokes. Las declaraciones de cualquier otra parte no cumplirán los requisitos. Las revisiones que no se retracten de la validez de la demostración inicial como solución al problema de Navier-Stokes no cumplirán los requisitos. Las declaraciones sobre la autoría, el mérito o la atribución del resultado, o sobre si reúne los requisitos para el Millennium Prize, no cumplirán los requisitos por sí solas. La fuente principal para resolver este mercado será la información oficial de OpenAI; no obstante, también podrá utilizarse un consenso de informaciones periodísticas fiables.
Traducción automática. En caso de disputa, prevalece el original.