- Um laboratório de IA anunciará outra solução para um Problema do Milênio até 31 de dezembro de 2026?20¢20%
- Um laboratório de IA anunciará outra solução para um Problema do Milênio até 31 de dezembro de 2027?64¢64%
OpenAI’s September 2026 announcement that an internal swarm of roughly 10,000 AI agents solved a version of the Navier-Stokes Millennium Prize Problem in 88 hours, followed by Lean formalization, has sharply raised trader expectations for further breakthroughs. The result, which addressed a permitted formulation involving smooth external forcing, drew immediate scrutiny from mathematicians and overlapped with concurrent human-AI work by researchers linked to Anthropic. Subsequent OpenAI releases of hundreds of additional mathematical manuscripts, some touching other Millennium Problems, plus a Chinese lab’s claim on the Ghys conjecture, underscore accelerating capability across frontier labs. Ongoing peer review, potential model releases, and competitive pressure from Anthropic and Google DeepMind remain key swing factors for any near-term second announcement.
Regras
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 que se qualificam até 23:59 ET da data especificada no título. Caso contrário, este mercado será resolvido como "Não". Os problemas que se qualificam são a Hipótese de Riemann, P versus NP, o problema da existência de Yang-Mills e do gap de massa, a Conjectura de Hodge e a Conjectura de Birch e Swinnerton-Dyer (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 se qualifique deve afirmar que o problema foi resolvido; anúncios de resultados parciais ou de progresso em direção a uma solução não se qualificarão. 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.