¿El laboratorio de IA anuncia otra solución del Premio del Milenio por...?
Este mercado se resolverá en "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 calificados para el Premio Millennium antes de las 11:59 p. m., hora del Este, de la fecha especificada en el título. De lo contrario, este mercado resolverá "No".
Los problemas de calificación 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 relacionados con la existencia de Navier-Stokes y el problema de suavidad no calificarán.
Un anuncio calificativo deberá expresar que el problema ha sido resuelto; Los anuncios de resultados parciales o avances hacia una solución no calificarán. El anuncio debe presentar la solución como trabajo del laboratorio, sus investigadores o sus modelos, solos o junto con investigadores externos. Un anuncio que solo dé crédito o felicite a investigadores externos, incluidos los investigadores que utilizaron los modelos, la computación o los créditos de investigación del laboratorio, no calificará. No se requiere más confirmación de 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 subsidiarias y divisiones de investigación, y cualquier otra empresa con un modelo incluido en la tabla de 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 individuo no calificarán.
La principal fuente de resolución para este mercado será la información oficial de los laboratorios de IA elegibles y/o sus representantes oficiales; sin embargo, también se puede utilizar un consenso de informes creíbles.
«¿El laboratorio de IA anuncia otra solución del Premio del Milenio por...?» es un mercado de predicción en Melbo. El precio de una participación refleja la probabilidad del resultado: en el resultado correcto cada participación se liquida a $1 y en el incorrecto a $0.