Qual problema do Prêmio Milênio a IA resolverá a seguir?

Este mercado será resolvido de acordo com o primeiro problema qualificado do Prêmio Millennium para o qual um laboratório de IA elegível anunciará uma solução até 31 de dezembro de 2027, 23h59 horário do leste dos EUA.

Se nenhum laboratório de IA elegível anunciar uma solução para um problema qualificado até 31 de dezembro de 2027, 23h59 horário do leste dos EUA, este mercado será resolvido como "Sem solução até 31 de dezembro de 2027". Se soluções para dois ou mais problemas qualificados forem anunciadas no mesmo dia (ET), este mercado resolverá o problema cujo nome, conforme listado abaixo, vem primeiro em ordem alfabética.

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.