- ¿Anunciará un laboratorio de IA otra solución a un Problema del Milenio antes de 31 de diciembre de 2026?23¢
- ¿Anunciará un laboratorio de IA otra solución a un Problema del Milenio antes de 31 de diciembre de 2027?67¢
OpenAI’s September 2026 announcement that an internal model and swarm of 10,000 AI agents produced a verified solution to the Navier-Stokes existence and smoothness problem—one of the remaining Millennium Prize Problems—has sharply raised trader expectations for another lab breakthrough. The result, formalized in Lean after 88 hours of compute, built on prior human-AI work by researchers linked to Anthropic and followed months of rapid progress cracking dozens of open conjectures. Competitive pressure from OpenAI, Anthropic, and DeepMind, combined with escalating compute investment and agent-based workflows, drives the current market-implied odds. Key near-term catalysts include any official Clay Institute review, formal publication of additional claimed solutions such as the Hodge conjecture, or public statements from lab leaders on timelines. Traders should monitor verification status closely, as full acceptance of AI-generated proofs remains uncertain.
Reglas
Este mercado se resolverá a favor de «Sí» si un laboratorio de IA elegible, o un representante oficial de un laboratorio de IA elegible, anuncia que el laboratorio ha resuelto alguno de los Problemas del Milenio que cumplen los requisitos, a más tardar a las 23:59 ET de la fecha indicada en el título. De lo contrario, este mercado se resolverá como «No». Los problemas que cumplen los requisitos son la hipótesis de Riemann, P frente a NP, el problema de existencia de Yang-Mills y del salto de masa, la conjetura de Hodge y la conjetura de Birch y Swinnerton-Dyer (https://www.claymath.org/millennium-problems/). Los anuncios relativos al problema de existencia y regularidad de Navier-Stokes no cumplirán los requisitos. El anuncio que cumpla los requisitos debe expresar que el problema se ha resuelto; los anuncios de resultados parciales o de avances hacia una solución no cumplirán los requisitos. El anuncio debe presentar la solución como obra del laboratorio, de sus investigadores o de sus modelos, ya sea por sí solos o en colaboración con investigadores externos. No cumplirán los requisitos los anuncios que se limiten a atribuir el mérito o felicitar a investigadores externos, incluidos aquellos que hayan utilizado los modelos, la capacidad de cómputo o los créditos de investigación del laboratorio. No se requiere ninguna confirmación adicional del Clay Math Institute ni de ninguna otra organización. Los laboratorios de IA elegibles son Anthropic, Google, SpaceXAI, Alibaba, OpenAI, Baidu, Z.ai, Xiaomi, Moonshot, Meta, Nvidia, DeepSeek, MiniMax, Meituan, Amazon, ByteDance, Mistral, Tencent, StepFun, Microsoft, Harmonic, Axiom Math, Math Inc, Safe Superintelligence, Thinking Machines Lab, Reflection AI, Periodic Labs, Apple, IBM, Huawei, Samsung, Oracle, Salesforce, Cohere, AI21 Labs, Reka, Sakana AI, Poolside, Magic, Perplexity, Anysphere, Kuaishou, SenseTime, iFlytek, Baichuan y 01.AI, junto con sus filiales y divisiones de investigación, así como cualquier otra empresa cuyo modelo figure en la clasificación MMLU-pro (https://huggingface.co/spaces/TIGER-Lab/MMLU-Pro) en el momento del anuncio. Los anuncios de cualquier otra empresa, organización o persona no cumplirán los requisitos. La principal fuente de resolución de este mercado será la información oficial de los laboratorios de IA elegibles o de sus representantes oficiales; no obstante, también podrá utilizarse el consenso de fuentes informativas fiables.
Traducción automática. En caso de disputa, prevalece el original.