- A OpenAI anunciará outra solução para um Problema do Milênio até 31 de dezembro de 2026?14¢14%
- A OpenAI anunciará outra solução para um Problema do Milênio até 31 de dezembro de 2027?56¢56%
OpenAI’s September 2026 solution to the Navier-Stokes existence and smoothness problem—one of the remaining Millennium Prize Problems—has intensified trader focus on whether the company will announce progress on another before key deadlines. The result, produced in roughly 88 hours by an internal frontier large language model directing 10,000 autonomous agents at a cost of several million dollars, was formalized in Lean and released alongside a detailed write-up. Subsequent October releases of over 700 additional AI-generated math manuscripts, including work touching other Millennium Problems, have reinforced perceptions of accelerating capability, though some papers were later withdrawn amid verification questions. Competitive dynamics with labs like Anthropic, ongoing mathematician scrutiny of proof novelty, and the absence of new full prize claims since early September keep market-implied odds sensitive to any official updates or developer conference hints.
Regras
Este mercado será resolvido como "Sim" se a OpenAI, ou um representante oficial da OpenAI, anunciar que a OpenAI resolveu qualquer um dos Problemas do Prêmio Millennium que atendam aos critérios entre a criação do mercado e a data especificada, 23:59 ET. 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 da OpenAI, de seus pesquisadores ou de seus modelos, seja individualmente ou em conjunto com pesquisadores externos. Não será considerado válido um anúncio que apenas reconheça ou parabenize pesquisadores externos, incluindo pesquisadores que tenham usado os modelos, a capacidade computacional ou os créditos de pesquisa da OpenAI. 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 OpenAI 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.