AI lab announces another Millennium Prize solution by...?
Importe
Comprar
The contract asks “¿Laboratorio de IA anuncia otra solución al Premio del Milenio para?”
The listed outcomes are 30 de septiembre de 2026, 31 de diciembre de 2027, and 31 de diciembre de 2026.
The winning outcome is determined using the exact criteria in the Resolution Rules below.
Este mercado se resolverá a "Sí" si un laboratorio de IA elegible, o un representante oficial de un laboratorio de IA elegible, anuncia que el laboratorio ha resuelto cualquiera de los Problemas del Premio del Milenio calificantes antes de las 11:59 p. m. ET de la fecha especificada en el título. De lo contrario, este mercado se resolverá a "No".
Los problemas calificantes son la Hipótesis de Riemann, P versus NP, el problema de existencia y brecha de masa de Yang-Mills, 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 suavidad de Navier-Stokes no calificarán.
Un anuncio calificante debe expresar que el problema ha sido resuelto; los anuncios de resultados parciales o progreso hacia una solución no calificarán. El anuncio debe presentar la solución como el trabajo del laboratorio, sus investigadores o sus modelos, solos o conjuntamente con investigadores externos. Un anuncio que solo acredite o felicite a investigadores externos, incluyendo investigadores que usaron los modelos, cómputo o créditos de investigación del laboratorio, no calificará. No se requiere confirmación adicional del Clay Math Institute o cualquier 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 subsidiarias y divisiones de investigación, y cualquier otra compañía con un modelo listado en la clasificación MMLU-pro (https://huggingface.co/spaces/TIGER-Lab/MMLU-Pro) en el momento del anuncio. Los anuncios de cualquier otra compañía, organización o individuo no calificarán.