Regras

Este mercado será resolvido de acordo com o número de Problemas do Milênio distintos que atendam aos critérios e para os quais um laboratório de IA elegível anuncie uma solução até 31 de dezembro de 2026, às 23:59 ET. Cada problema que atenda aos critérios será contado apenas uma vez, independentemente de quantos laboratórios de IA elegíveis anunciem uma solução ou de quantos anúncios sejam feitos. Os problemas que atendem aos critérios 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 da existência de Yang-Mills e do gap de massa (https://www.claymath.org/millennium-problems/). Anúncios relacionados ao problema da existência e regularidade de Navier-Stokes não se qualificarão. Um anúncio que atenda aos critérios deve ser feito por um laboratório de IA elegível ou por um representante oficial do laboratório e deve declarar que o problema foi resolvido; anúncios de resultados parciais ou de progresso em direção a uma solução não atenderão aos critérios. O anúncio deve apresentar a solução como trabalho do laboratório, de seus pesquisadores ou de seus modelos, individualmente ou em conjunto com pesquisadores externos. Não se qualificará um anúncio que apenas dê crédito ou parabenize pesquisadores externos, incluindo pesquisadores que tenham usado os modelos, a capacidade computacional ou os créditos de pesquisa do laboratório. Não é necessária nenhuma confirmação adicional do Clay Math Institute ou de qualquer outra organização. 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, além de qualquer outra empresa com um modelo listado no placar do 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 se qualificarão. A principal fonte para a resolução deste mercado será a informação oficial dos laboratórios de IA elegíveis e/ou de seus representantes oficiais; no entanto, também poderá ser utilizado um consenso de reportagens confiáveis.

Tradução automática. Em caso de divergência, prevalece o original.