- OpenAI vs. Anthropic: Quem encontrará primeiro outra solução para um Problema do Milênio?54¢54%
OpenAI’s September 2026 resolution of the Navier-Stokes existence and smoothness problem—one of the remaining Millennium Prize Problems—using an internal model coordinating roughly 10,000 AI agents over days, followed by its October release of 722 papers advancing hundreds of open mathematical questions, has anchored trader sentiment at 62.5% implied probability. These results, verified in Lean and targeting singularities plus variants of the Riemann hypothesis, demonstrate scaled reasoning capabilities that outpace prior benchmarks. Anthropic contributed concurrent progress on related fluid-dynamics problems via employee collaborations and has advanced Riemann zeta bounds and quantum-circuit design with Claude, yet lacks equivalent verified Millennium-scale claims. Key near-term catalysts include independent scrutiny of OpenAI’s proofs and any parallel pushes on unsolved problems such as Yang-Mills.
Regras
Este mercado será resolvido como "OpenAI" se OpenAI, ou um representante oficial de OpenAI, anunciar que OpenAI resolveu um Problema do Prêmio Millennium elegível antes que Anthropic o faça e até 31 de dezembro de 2027, 23:59 ET. Este mercado será resolvido como "Anthropic" se Anthropic, ou um representante oficial de Anthropic, anunciar que Anthropic resolveu um Problema do Prêmio Millennium elegível antes que OpenAI o faça e até 31 de dezembro de 2027, 23:59 ET. Se nenhuma das duas empresas fizer um anúncio qualificável até 31 de dezembro de 2027, 23:59 ET, ou se ambas fizerem anúncios qualificáveis no mesmo dia do calendário, este mercado será resolvido em 50-50. Um anúncio qualificável de qualquer outra empresa não encerrará a corrida nem afetará a resoluçã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 obra da empresa, de seus pesquisadores ou de seus modelos, seja individualmente ou em conjunto com pesquisadores externos. Um anúncio que apenas atribua o mérito ou parabenize pesquisadores externos, incluindo pesquisadores que tenham usado os modelos, a capacidade computacional ou os créditos de pesquisa da empresa, não será qualificável. Não é necessária nenhuma confirmação adicional do Clay Math Institute ou de qualquer outra organização. A fonte primária para a resolução deste mercado será formada por informações oficiais de OpenAI e Anthropic e/ou de seus representantes oficiais; no entanto, também poderá ser usado um consenso de reportagens confiáveis.
Tradução automática. Em caso de divergência, prevalece o original.