- A Anthropic anunciará uma solução para um problema do Millennium Prize até 31 de dezembro de 2026?10¢10%
- A Anthropic anunciará uma solução para um problema do Millennium Prize até 31 de dezembro de 2027?28¢28%
Recent developments center on intense competition between leading AI labs to tackle the Navier-Stokes Millennium Prize Problem. In early September 2026, OpenAI announced that its internal multi-agent system produced a Lean-formalized proof establishing a singularity in the equations, satisfying key criteria for the $1 million prize. Concurrent work by Anthropic researcher Levent Alpöge alongside mathematician Tristan Buckmaster advanced related forced Euler equations using large language models, including unreleased Claude versions, but stopped short of the full Navier-Stokes resolution. These efforts highlight accelerating AI capabilities in mathematical formalization and proof generation, alongside ongoing scrutiny over verification, priority claims, and model training data. Traders are watching for any follow-up Anthropic announcements or Clay Institute validation that could shift sentiment in this fast-moving domain.
Regras
Este mercado será resolvido como "Sim" se a Anthropic, ou um representante oficial da Anthropic, anunciar que a Anthropic resolveu qualquer um dos Problemas do Milênio elegíveis 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 um trabalho da Anthropic, de seus pesquisadores ou de seus modelos, individualmente ou em conjunto com pesquisadores externos. Não será considerado válido um anúncio que apenas dê crédito ou parabenize pesquisadores externos, incluindo os que tenham usado os modelos, a capacidade computacional ou os créditos de pesquisa da Anthropic. Não é necessária nenhuma confirmação adicional do Clay Math Institute ou de qualquer outra organização. A principal fonte para a resolução deste mercado serão informações oficiais da 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.