AI lab announces another Millennium Prize solution by...?
Valor
Comprar
The contract asks “Laboratório de IA anuncia outra solução do Prêmio Millennium até?”
The listed outcomes are 30 de setembro de 2026, 31 de dezembro de 2027, and 31 de dezembro de 2026.
The winning outcome is determined using the exact criteria in the Resolution Rules below.
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 do Prêmio Millennium qualificáveis até 23:59 ET da data especificada no título. Caso contrário, este mercado será resolvido como "Não".
Os problemas qualificáveis são a Hipótese de Riemann, P versus NP, o problema da existência e gap 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 referentes ao problema da existência e suavidade de Navier-Stokes não se qualificarão.
Um anúncio qualificável deve expressar que o problema foi resolvido; anúncios de resultados parciais ou progresso em direção a uma solução não se qualificarão. O anúncio deve apresentar a solução como o trabalho do laboratório, seus pesquisadores, ou seus modelos, sozinho ou conjuntamente com pesquisadores externos. Um anúncio que apenas credita ou parabeniza pesquisadores externos, incluindo pesquisadores que usaram os modelos, computação, ou créditos de pesquisa do laboratório, não se qualificará. Nenhuma confirmação adicional do Clay Math Institute ou 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 no leaderboard MMLU-pro (https://huggingface.co/spaces/TIGER-Lab/MMLU-Pro) no momento do anúncio. Anúncios por qualquer outra empresa, organização, ou indivíduo não se qualificarão.