¿Qué problemas matemáticos resolverá la IA en 2026?

Este mercado se resolverá "Sí" si un laboratorio de IA elegible anuncia una solución al problema especificado en el título antes del 31 de diciembre de 2026 a las 11:59 p.m., hora del Este. De lo contrario, este mercado resolverá "No".

Un laboratorio de IA elegible o un representante oficial del laboratorio debe realizar un anuncio de calificación, y debe expresar que el problema especificado en el título se ha 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 del Clay Mathematics 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.