- ¿Será Hodge Conjecture el próximo problema del milenio resuelto por una IA?37¢37 %
- ¿No se resolverá ningún problema del milenio mediante IA antes de 31 de diciembre de 2027?35¢35 %
- ¿Será la conjetura de Birch and Swinnerton-Dyer el próximo Problema del Milenio resuelto por IA?17¢17 %
- ¿Será el problema de existencia y brecha de masa de Yang-Mills el próximo Problema del Milenio resuelto por una IA?10¢10 %
- ¿Será P versus NP el próximo problema del milenio resuelto por IA?2¢2 %
- ¿Será Riemann Hypothesis el próximo problema del milenio resuelto por una IA?2¢2 %
Recent OpenAI advances, including its September 2026 Navier-Stokes resolution via 10,000 AI agents and October release of hundreds of model-generated proofs, have elevated the Hodge Conjecture and Birch and Swinnerton-Dyer as leading contenders in trader consensus. These partial results on algebraic geometry and elliptic curves demonstrate rapid gains in large language model reasoning and multi-agent proof search, yet full verification in Lean and community acceptance remain uncertain amid ongoing scrutiny. This dynamic keeps the no-solution-by-end-2027 outcome closely competitive at 34.5 percent, with P versus NP and Riemann Hypothesis trailing due to greater perceived complexity. Upcoming catalysts include further formalizations and Clay Institute reviews that could shift market-implied odds.
Reglas
Este mercado se resolverá en función del primer Problema del Milenio que cumpla los requisitos para el que un laboratorio de IA elegible anuncie una solución antes de 31 de diciembre de 2027, 23:59 ET. Si ningún laboratorio de IA elegible anuncia una solución a un problema que cumpla los requisitos antes de 31 de diciembre de 2027, 23:59 ET, este mercado se resolverá como "Ninguna solución antes de 31 de diciembre de 2027". Si se anuncian soluciones a dos o más problemas que cumplan los requisitos el mismo día natural (hora del Este, ET), este mercado se resolverá a favor del problema cuyo nombre, según la lista de abajo, aparezca primero por orden alfabético. Los problemas que cumplen los requisitos son, por orden alfabético, la conjetura de Birch y Swinnerton-Dyer, la Hodge Conjecture, P frente a NP, la hipótesis de Riemann y el problema de existencia de Yang-Mills y brecha de masa (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 hacerlo un laboratorio de IA elegible o un representante oficial del laboratorio, y debe afirmar 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.