Quantos mais problemas do Prémio Milénio a IA resolverá em 2026?

Este mercado será resolvido de acordo com o número de problemas distintos qualificados para o Prêmio Millennium para os quais um laboratório de IA elegível anunciar uma solução até 31 de dezembro de 2026, 23h59 horário do leste dos EUA.

Cada problema qualificado é contado uma vez, independentemente de quantos laboratórios de IA qualificados anunciarem uma solução para ele ou de quantos anúncios forem feitos.

Os problemas de qualificação são, em ordem alfabética, a Conjectura de Birch e Swinnerton-Dyer, a Conjectura de Hodge, P versus NP, a Hipótese de Riemann e o problema de existência e lacuna de massa de Yang-Mills (https://www.claymath.org/millennium-problems/). Anúncios relativos à existência de Navier-Stokes e ao problema de suavidade não serão qualificados.

Um anúncio qualificado deve ser feito por um laboratório de IA elegível ou por um representante oficial do laboratório e deve expressar que o problema foi resolvido; anúncios de resultados parciais ou progresso em direção a uma solução não serão qualificados. O edital deverá apresentar a solução como trabalho do laboratório, de seus pesquisadores, ou de seus modelos, isoladamente ou em conjunto com pesquisadores externos. Um anúncio que apenas credite ou parabenize pesquisadores externos, incluindo pesquisadores que usaram os modelos, computação ou créditos de pesquisa do laboratório, não será qualificado. Nenhuma confirmação adicional do Clay Math Institute ou de qualquer outra organização é necessária.

Os laboratórios de IA elegíveis são 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 e 01.AI, juntamente com suas subsidiárias e divisões de pesquisa, e qualquer outra empresa com um modelo listado na tabela de classificação MMLU-pro (https://huggingface.co/spaces/TIGER-Lab/MMLU-Pro) no momento do anúncio. Anúncios de qualquer outra empresa, organização ou indivíduo não serão qualificados.

A principal fonte de resolução para este mercado serão as informações oficiais dos laboratórios de IA elegíveis e/ou dos seus representantes oficiais; no entanto, também pode ser utilizado um consenso de relatórios credíveis.