Anthropic anuncia solução para o Prêmio Milênio até...?

Este mercado será resolvido como "Sim" se a Anthropic, ou um representante oficial da Anthropic, anunciar que a Anthropic resolveu qualquer um dos problemas de qualificação do Prêmio Millennium até às 23h59 ET da data especificada no título. 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 edital deverá apresentar a solução como trabalho da Anthropic, 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 Anthropic, 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 deste mercado serão as informações oficiais da Anthropic e/ou de seus representantes oficiais; no entanto, também pode ser utilizado um consenso de relatórios credíveis.