OpenAI’s September 8, 2026 announcement that an unreleased internal model solved the Navier-Stokes existence and smoothness problem—via roughly 10,000 autonomous AI agents over 88 hours, followed by Lean formalization—has intensified focus on whether the lab can deliver a second qualifying Millennium Prize solution before rivals. The result, which OpenAI framed as evidence of rapid capability gains rather than a prize claim, followed rumors of parallel progress by Anthropic researcher Levent Alpöge and NYU’s Tristan Buckmaster on related Euler equations. OpenAI has publicly noted substantial further progress on remaining problems such as the Riemann Hypothesis or P vs. NP, while acknowledging potential indirect influence from user data on its platforms. With the Clay Mathematics Institute’s two-year verification window and Anthropic holding a narrow market edge through 2027, trader sentiment hinges on which lab’s next agent-driven breakthrough reaches official announcement first.
Resumo experimental gerado por IA com dados do Polymarket. Isto não é aconselhamento de trading e não tem qualquer papel na resolução deste mercado. · AtualizadoA OpenAI anuncia outra solução do Prémio Millennium até...?
$99,648 Vol.
30 de setembro de 2026
28%
31 de dezembro de 2026
55%
31 de dezembro de 2027
78%
$99,648 Vol.
30 de setembro de 2026
28%
31 de dezembro de 2026
55%
31 de dezembro de 2027
78%
The qualifying problems are the Riemann Hypothesis, P versus NP, the Yang-Mills existence and mass gap problem, the Hodge Conjecture, and the Birch and Swinnerton-Dyer Conjecture (https://www.claymath.org/millennium-problems/). Announcements concerning the Navier-Stokes existence and smoothness problem will not qualify.
A qualifying announcement must express that the problem has been solved; announcements of partial results or progress toward a solution will not qualify. The announcement must present the solution as the work of OpenAI, its researchers, or its models, alone or jointly with outside researchers. An announcement that only credits or congratulates outside researchers, including researchers who used OpenAI's models, compute, or research credits, will not qualify. No further confirmation from Clay Math Institute or any other organization is required.
The primary resolution source for this market will be official information from OpenAI and/or its official representatives; however, a consensus of credible reporting may also be used.
Mercado Aberto: Sep 9, 2026, 12:00 PM ET
Resolver
0x65070BE91...The qualifying problems are the Riemann Hypothesis, P versus NP, the Yang-Mills existence and mass gap problem, the Hodge Conjecture, and the Birch and Swinnerton-Dyer Conjecture (https://www.claymath.org/millennium-problems/). Announcements concerning the Navier-Stokes existence and smoothness problem will not qualify.
A qualifying announcement must express that the problem has been solved; announcements of partial results or progress toward a solution will not qualify. The announcement must present the solution as the work of OpenAI, its researchers, or its models, alone or jointly with outside researchers. An announcement that only credits or congratulates outside researchers, including researchers who used OpenAI's models, compute, or research credits, will not qualify. No further confirmation from Clay Math Institute or any other organization is required.
The primary resolution source for this market will be official information from OpenAI and/or its official representatives; however, a consensus of credible reporting may also be used.
Resolver
0x65070BE91...OpenAI’s September 8, 2026 announcement that an unreleased internal model solved the Navier-Stokes existence and smoothness problem—via roughly 10,000 autonomous AI agents over 88 hours, followed by Lean formalization—has intensified focus on whether the lab can deliver a second qualifying Millennium Prize solution before rivals. The result, which OpenAI framed as evidence of rapid capability gains rather than a prize claim, followed rumors of parallel progress by Anthropic researcher Levent Alpöge and NYU’s Tristan Buckmaster on related Euler equations. OpenAI has publicly noted substantial further progress on remaining problems such as the Riemann Hypothesis or P vs. NP, while acknowledging potential indirect influence from user data on its platforms. With the Clay Mathematics Institute’s two-year verification window and Anthropic holding a narrow market edge through 2027, trader sentiment hinges on which lab’s next agent-driven breakthrough reaches official announcement first.
Resumo experimental gerado por IA com dados do Polymarket. Isto não é aconselhamento de trading e não tem qualquer papel na resolução deste mercado. · Atualizado


Cuidado com os links externos.
Cuidado com os links externos.
Frequently Asked Questions