Laboratório de IA anuncia outra solução do Prêmio Milênio até...?

Este mercado será resolvido como "Sim" se um laboratório de IA elegível, ou um representante oficial de um laboratório de IA elegível, anunciar que o laboratório resolveu qualquer um dos problemas qualificados para o Prêmio Millennium até às 23h59 (horário do leste dos EUA) da data especificada no título. Caso contrário, este mercado resolverá “Não”.

Os problemas de qualificação são a Hipótese de Riemann, P versus NP, o problema de existência e lacuna de massa de Yang-Mills, a Conjectura de Hodge e a Conjectura de Birch e Swinnerton-Dyer (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 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.