- O CMI declarará resolvido um Problema do Milênio até 31 de dezembro de 2026?3¢3%
- O CMI declarará resolvido um Problema do Milênio até 31 de dezembro de 2027?13¢13%
- O CMI declarará resolvido um Problema do Milênio até 31 de dezembro de 2028?36¢36%
OpenAI’s September 2026 announcement of an AI-generated proof resolving the Navier-Stokes existence and smoothness problem has become the dominant catalyst shaping trader sentiment on whether CMI will declare any Millennium Prize solved by the contract date. The company’s Lean-formalized claim of a finite-time singularity drew immediate attention from the math community, prompting CMI’s September 11 statement that the problem appears “apparently settled” while stressing its deliberately slow process: peer-reviewed publication, broad acceptance, and roughly two years of scrutiny before any prize consideration. Only the Poincaré conjecture has ever reached official resolution, awarded in 2010. With Navier-Stokes still labeled “active” and competing human-AI efforts adding uncertainty, markets hinge on verification timelines, upcoming community reviews, and whether CMI issues further updates before the deadline.
Regras
Este mercado será resolvido como "Sim" se o Clay Mathematics Institute (CMI) conceder um Millennium Prize por qualquer um dos seis Millennium Prize Problems ainda não resolvidos, ou declarar oficialmente que qualquer um desses problemas foi resolvido em seu site ou em uma comunicação oficial, até 23:59 ET na data especificada no título. Caso contrário, este mercado será resolvido como "Não". Este mercado será resolvido exclusivamente com base em uma declaração qualificável do CMI de que um dos seis Millennium Prize Problems ainda não resolvidos foi solucionado, independentemente de a solução assumir a forma de uma prova positiva, um contraexemplo, uma refutação ou qualquer outra resolução aceita pelo CMI. A concessão de um Millennium Prize contará como uma declaração oficial, mas não será obrigatória; uma declaração oficial do CMI de que um problema foi solucionado será suficiente por si só. Não será levado em consideração se a solução foi produzida total ou parcialmente por inteligência artificial, nem se algum dos destinatários aceita ou recusa um prêmio. Uma prova publicada ou divulgada publicamente não será suficiente por si só, independentemente de sua aceitação pela comunidade matemática. A principal fonte para a resolução serão informações oficiais do Clay Mathematics Institute (por exemplo, https://www.claymath.org); no entanto, um consenso de reportagens confiáveis poderá ser usado para confirmar que ocorreu uma declaração ou concessão qualificável do CMI.
Tradução automática. Em caso de divergência, prevalece o original.