
Este mercado será resolvido como "Sim" se a OpenAI, ou um representante oficial da OpenAI, anunciar que a OpenAI resolveu qualquer um dos problemas de qualificação do Prêmio Millennium entre a criação do mercado e a data especificada, 23h59 ET. Caso contrário, este mercado resolverá “Não”.
Os problemas de qualificação são a Hipótese de Riemann, P versus NP, o problema de existência e lacuna de massa de Yang-Mills, a Conjectura de Hodge e a Conjectura de Birch e Swinnerton-Dyer (https://www.claymath.org/millennium-problems/). Anúncios relativos à existência de Navier-Stokes e ao problema de suavidade não serão qualificados.
Um anúncio qualificado deve expressar que o problema foi resolvido; anúncios de resultados parciais ou progresso em direção a uma solução não serão qualificados. O anúncio deve apresentar a solução como trabalho da OpenAI, de seus pesquisadores, ou de seus modelos, isoladamente ou em conjunto com pesquisadores externos. Um anúncio que apenas credite ou parabenize pesquisadores externos, incluindo pesquisadores que usaram modelos, computação ou créditos de pesquisa da OpenAI, não será qualificado. Nenhuma confirmação adicional do Clay Math Institute ou de qualquer outra organização é necessária.
A principal fonte de resolução para este mercado serão as informações oficiais da OpenAI e/ou de seus representantes oficiais; no entanto, também pode ser utilizado um consenso de relatórios credíveis.
“OpenAI anuncia mais uma solução do Prémio Millennium até...?” é um mercado de previsões na Melbo. O preço de uma cota reflete a probabilidade do resultado: no resultado correto cada cota é liquidada a $1 e no incorreto a $0.