- ¿Declarará CMI resuelto un problema del milenio antes de 31 de diciembre de 2026?3¢3 %
- ¿Declarará CMI resuelto un problema del milenio antes de 31 de diciembre de 2027?13¢13 %
- ¿Declarará CMI resuelto un problema del milenio antes de 31 de diciembre de 2028?36¢36 %
OpenAI’s September 2026 announcement of an AI-generated proof resolving the Navier-Stokes existence and smoothness problem has become the dominant catalyst shaping trader sentiment on whether CMI will declare any Millennium Prize solved by the contract date. The company’s Lean-formalized claim of a finite-time singularity drew immediate attention from the math community, prompting CMI’s September 11 statement that the problem appears “apparently settled” while stressing its deliberately slow process: peer-reviewed publication, broad acceptance, and roughly two years of scrutiny before any prize consideration. Only the Poincaré conjecture has ever reached official resolution, awarded in 2010. With Navier-Stokes still labeled “active” and competing human-AI efforts adding uncertainty, markets hinge on verification timelines, upcoming community reviews, and whether CMI issues further updates before the deadline.
Reglas
Este mercado se resolverá en "Sí" si el Clay Mathematics Institute (CMI) concede un Premio Millennium por cualquiera de los seis problemas del Premio Millennium que siguen sin resolverse, o si declara oficialmente que alguno de ellos está resuelto en su sitio web o en una comunicación oficial, antes de 23:59 ET de la fecha especificada en el título. De lo contrario, este mercado se resolverá como "No". Este mercado se resolverá únicamente en función de una declaración válida del CMI de que se ha resuelto uno de los seis problemas del Premio Millennium que siguen sin resolverse, independientemente de que la solución consista en una demostración positiva, un contraejemplo, una refutación o cualquier otra resolución aceptada por el CMI. La concesión de un Premio Millennium contará como declaración oficial, pero no será necesaria; bastará por sí sola una declaración oficial del CMI de que se ha resuelto un problema. No se tendrá en cuenta si la solución fue producida total o parcialmente por inteligencia artificial, ni si alguno de los destinatarios acepta o rechaza un premio. Una demostración publicada o difundida públicamente no será suficiente por sí sola, independientemente de que cuente con la aceptación de la comunidad matemática. La fuente principal para la resolución será la información oficial del Clay Mathematics Institute (por ejemplo, https://www.claymath.org); no obstante, podrá utilizarse el consenso de fuentes informativas fiables para confirmar que se ha producido una declaración o concesión válida del CMI.
Traducción automática. En caso de disputa, prevalece el original.