

The contract asks “Qual Problema do Prêmio Millennium a IA resolverá a seguir?”
The listed outcomes are Nenhuma solução até 31 de dez. de 2027, Yang-Mills, Hodge Conjecture, P versus NP, Riemann Hypothesis, and Birch and Swinnerton-Dyer.
The winning outcome is determined using the exact criteria in the Resolution Rules below.
Waiting for trades
Last 30 days
$7.93K
30-day total
$264.43
Daily average
Every trader on this market, last 7 days
—
24h volume, market-wide
Market-wide, by position value
set. 9, 2026 · 22:49 GMT+3
jan. 1, 2028 · 07:59 GMT+3
jan. 1, 2028 · 08:29 GMT+3
Este mercado será resolvido de acordo com o primeiro Problema do Prêmio Millennium qualificante para o qual um laboratório de IA elegível anunciar uma solução até 31 de dezembro de 2027, 23:59 ET.
Se nenhum laboratório de IA elegível anunciar uma solução para um problema qualificante até 31 de dezembro de 2027, 23:59 ET, este mercado será resolvido para "Nenhuma solução até 31 de dez. de 2027". Se soluções para dois ou mais problemas qualificantes forem anunciadas no mesmo dia do calendário (ET), este mercado será resolvido para o problema cujo nome, conforme listado abaixo, vier primeiro em ordem alfabética.
Os problemas qualificantes são, em ordem alfabética, a Birch and Swinnerton-Dyer Conjecture, a Hodge Conjecture, P versus NP, a Riemann Hypothesis, e o Yang-Mills existence and mass gap problem (https://www.claymath.org/millennium-problems/). Anúncios referentes ao Navier-Stokes existence and smoothness problem não se qualificarão.
Um anúncio qualificante deve ser feito por um laboratório de IA elegível ou um representante oficial do laboratório, e deve expressar que o problema foi resolvido; anúncios de resultados parciais ou progresso em direção a uma solução não se qualificarão. O anúncio deve apresentar a solução como o trabalho do laboratório, de seus pesquisadores ou de seus modelos, sozinho ou conjuntamente com pesquisadores externos. Um anúncio que apenas credite ou parabenize pesquisadores externos, incluindo pesquisadores que usaram os modelos, computação ou créditos de pesquisa do laboratório, não se qualificará. Nenhuma confirmação adicional do Clay Math Institute ou de qualquer outra organização é necessária.