Recent OpenAI announcements claiming an AI-generated counterexample resolving the Navier-Stokes existence and smoothness problem have sharply shifted trader focus toward near-term CMI action on this Millennium Prize. The Clay Mathematics Institute described the result as apparently settling the problem in mid-September statements, noting the work is now under formal review while emphasizing its deliberate, rigorous process requiring peer-reviewed publications and community scrutiny. A priority dispute with researchers using related AI tools adds uncertainty, and OpenAI has signaled it will not seek the prize. With only the Poincaré conjecture previously awarded, the outcome hinges on verification timelines that historically span years rather than months, though CMI has committed to updates amid accelerating AI-assisted math advances.
Experimental AI-generated summary referencing Polymarket data. This is not trading advice and plays no role in how this market resolves. · UpdatedWill CMI declare a Millennium Prize Problem solved by ___?
$342,773 Vol.
December 31, 2026
5%
December 31, 2027
16%
December 31, 2028
30%
$342,773 Vol.
December 31, 2026
5%
December 31, 2027
16%
December 31, 2028
30%
This market will resolve solely based on a qualifying declaration by CMI that one of the six remaining unsolved Millennium Prize Problems has been solved, regardless of whether the solution takes the form of a positive proof, counterexample, disproof, or any other resolution accepted by CMI.
A Millennium Prize award will qualify as an official declaration, but is not required; an official CMI statement that a problem has been solved is sufficient on its own. Whether the solution was produced in whole or in part by artificial intelligence, and whether any recipient accepts or declines a prize, will not be considered.
A published or publicly posted proof will not qualify on its own, regardless of its acceptance by the mathematical community.
The primary resolution source will be official information from the Clay Mathematics Institute (e.g., https://www.claymath.org); however, a consensus of credible reporting may be used to confirm that a qualifying CMI declaration or award has occurred.
Market Opened: Jul 24, 2026, 5:05 PM ET
Resolver
0x65070BE91...This market will resolve solely based on a qualifying declaration by CMI that one of the six remaining unsolved Millennium Prize Problems has been solved, regardless of whether the solution takes the form of a positive proof, counterexample, disproof, or any other resolution accepted by CMI.
A Millennium Prize award will qualify as an official declaration, but is not required; an official CMI statement that a problem has been solved is sufficient on its own. Whether the solution was produced in whole or in part by artificial intelligence, and whether any recipient accepts or declines a prize, will not be considered.
A published or publicly posted proof will not qualify on its own, regardless of its acceptance by the mathematical community.
The primary resolution source will be official information from the Clay Mathematics Institute (e.g., https://www.claymath.org); however, a consensus of credible reporting may be used to confirm that a qualifying CMI declaration or award has occurred.
Resolver
0x65070BE91...Recent OpenAI announcements claiming an AI-generated counterexample resolving the Navier-Stokes existence and smoothness problem have sharply shifted trader focus toward near-term CMI action on this Millennium Prize. The Clay Mathematics Institute described the result as apparently settling the problem in mid-September statements, noting the work is now under formal review while emphasizing its deliberate, rigorous process requiring peer-reviewed publications and community scrutiny. A priority dispute with researchers using related AI tools adds uncertainty, and OpenAI has signaled it will not seek the prize. With only the Poincaré conjecture previously awarded, the outcome hinges on verification timelines that historically span years rather than months, though CMI has committed to updates amid accelerating AI-assisted math advances.
Experimental AI-generated summary referencing Polymarket data. This is not trading advice and plays no role in how this market resolves. · Updated



Beware of external links.
Beware of external links.
Frequently Asked Questions