- ¿Retirará OpenAI su solución de Navier-Stokes para 31 de diciembre de 2026?6¢6 %
OpenAI’s September 2026 announcement of an AI-generated proof showing finite-time blowup for the forced 3D Navier-Stokes equations, backed by a Lean formalization, has sustained strong market conviction against retraction. The result stems from an internal multi-agent system consuming 130 billion tokens, and while a credit dispute with mathematicians Tristan Buckmaster and Levent Alpöge plus a mismatch between the natural-language write-up and Lean code have drawn scrutiny, no fatal flaw has emerged in subsequent reviews. Recent withdrawals of unrelated OpenAI math preprints highlight the company’s willingness to correct errors quickly, yet the Navier-Stokes claim remains intact amid deliberately unhurried Clay Institute evaluation. Traders see limited realistic paths to retraction by year-end absent a verified contradiction in the machine-checked steps.
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.