- ¿Anunciará un laboratorio de IA otra solución a un Problema del Milenio antes de 31 de diciembre de 2026?20¢20 %
- ¿Anunciará un laboratorio de IA otra solución a un Problema del Milenio antes de 31 de diciembre de 2027?64¢64 %
OpenAI’s September 2026 announcement that an internal swarm of roughly 10,000 AI agents solved a version of the Navier-Stokes Millennium Prize Problem in 88 hours, followed by Lean formalization, has sharply raised trader expectations for further breakthroughs. The result, which addressed a permitted formulation involving smooth external forcing, drew immediate scrutiny from mathematicians and overlapped with concurrent human-AI work by researchers linked to Anthropic. Subsequent OpenAI releases of hundreds of additional mathematical manuscripts, some touching other Millennium Problems, plus a Chinese lab’s claim on the Ghys conjecture, underscore accelerating capability across frontier labs. Ongoing peer review, potential model releases, and competitive pressure from Anthropic and Google DeepMind remain key swing factors for any near-term second announcement.
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.