- Hodge Conjecture será o próximo Problema do Milênio resolvido por uma IA?37¢37%
- Nenhum problema do milênio será resolvido por IA até 31 de dezembro de 2027?35¢35%
- A conjectura de Birch and Swinnerton-Dyer será o próximo Problema do Milênio resolvido por IA?17¢17%
- O problema de existência e gap de massa de Yang-Mills será o próximo Problema do Milênio a ser resolvido por uma IA?10¢10%
- P versus NP será o próximo Problema do Milênio resolvido por IA?2¢2%
- Riemann Hypothesis será o próximo Problema do Milênio resolvido por uma IA?2¢2%
Recent OpenAI advances, including its September 2026 Navier-Stokes resolution via 10,000 AI agents and October release of hundreds of model-generated proofs, have elevated the Hodge Conjecture and Birch and Swinnerton-Dyer as leading contenders in trader consensus. These partial results on algebraic geometry and elliptic curves demonstrate rapid gains in large language model reasoning and multi-agent proof search, yet full verification in Lean and community acceptance remain uncertain amid ongoing scrutiny. This dynamic keeps the no-solution-by-end-2027 outcome closely competitive at 34.5 percent, with P versus NP and Riemann Hypothesis trailing due to greater perceived complexity. Upcoming catalysts include further formalizations and Clay Institute reviews that could shift market-implied odds.
Regras
Este mercado será resolvido de acordo com o primeiro Problema do Milênio que se qualificar para o qual um laboratório de IA elegível anunciar uma solução até 31 de dezembro de 2027, às 23:59 ET. Se nenhum laboratório de IA elegível anunciar uma solução para um problema que se qualifique até 31 de dezembro de 2027, às 23:59 ET, este mercado será resolvido como "Nenhuma solução até 31 de dezembro de 2027". Se soluções para dois ou mais problemas que se qualifiquem forem anunciadas no mesmo dia do calendário (ET), este mercado será resolvido em favor do problema cujo nome, conforme listado abaixo, vier primeiro em ordem alfabética. Os problemas que se qualificam são, em ordem alfabética, a conjectura de Birch e Swinnerton-Dyer, a Hodge Conjecture, P versus NP, a hipótese de Riemann e o problema de 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.