Reglas

Este mercado se resolverá en función del número de problemas distintos de los Problemas del Milenio que cumplan los requisitos y para los que un laboratorio de IA elegible anuncie una solución antes de 31 de diciembre de 2026, a las 23:59 ET. Cada problema que cumpla los requisitos se contará una sola vez, independientemente del número de laboratorios de IA elegibles que anuncien una solución o del número de anuncios que se hagan. Los problemas que cumplen los requisitos son, por orden alfabético, la conjetura de Birch y Swinnerton-Dyer, la conjetura de Hodge, 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.