OpenAI announces another Millennium Prize solution by...?
VědaAIOpenAITechnologieMathAstraCMI
Začátek
2026-09-09
Konec
2028-01-01
Objem 24 h
$2K
Celkový objem
$1.2M
  • Will OpenAI announce another Millennium Prize solution by December 31, 2026?12¢12 %
  • Will OpenAI announce another Millennium Prize solution by December 31, 2027?55¢55 %

OpenAI’s September 2026 announcement of an AI-driven solution to the Navier-Stokes existence and smoothness problem—one of the remaining Millennium Prize Problems—has shaped trader views on the likelihood of another such breakthrough. The company deployed roughly 10,000 internal agents on an advanced unreleased model for 88 hours to produce a Lean-verified proof of finite-time singularity under smooth forcing, while explicitly declining to claim the $1 million prize. Subsequent October releases on related problems, including partial Yang-Mills existence results and other conjectures, plus reports of substantial progress toward the Hodge conjecture, highlight accelerating AI math capabilities amid rivalry with Anthropic researchers and human mathematicians. Verification by the Clay Institute and community acceptance remain key hurdles, with further model iterations or targeted agent runs serving as near-term catalysts that could shift odds.

Pravidla

This market will resolve to "Yes" if OpenAI, or an official representative of OpenAI, announces that OpenAI has solved any of the qualifying Millennium Prize Problems between market creation and the specified date, 11:59 PM ET. Otherwise, this market will resolve to "No". 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.

OpenAI announces another Millennium Prize solution by...?

Související trhy