OpenAI’s September 8 announcement that an internal AI model produced a verified counterexample to the Navier-Stokes existence and smoothness problem has dominated trader attention, as the company published a Lean-formalized proof yet explicitly declined any Millennium Prize claim. The result builds on recent human-AI collaboration by Tristan Buckmaster and Levent Alpöge, triggering immediate priority disputes and questions about whether the forcing method aligns with the Clay Institute’s official formulation. CMI president Martin Bridson has signaled a deliberately unhurried, rigorous evaluation process that still lists Navier-Stokes as unsolved, underscoring the gap between preprint claims and official declaration. Traders are watching for any formal CMI statement or independent mathematical consensus before the market cutoff, with historical precedent showing years-long reviews even for accepted solutions like the Poincaré conjecture.
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 ___?
Will CMI declare a Millennium Prize Problem solved by ___?
$300,340 Vol.
Dec 31, 2026
December 31, 2026
7%
December 31, 2027
18%
December 31, 2028
45%
$300,340 Vol.
December 31, 2026
$209,237 Vol.
7%
December 31, 2027
$64,307 Vol.
18%
December 31, 2028
$26,796 Vol.
45%
This market will resolve to "Yes" if the Clay Mathematics Institute (CMI) awards a Millennium Prize for any of the six remaining unsolved Millennium Prize Problems, or otherwise officially declares any of these problems solved on its website or in an official communication, by 11:59 PM ET on the date specified in the title. Otherwise, this market will resolve to "No".
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.OpenAI’s September 8 announcement that an internal AI model produced a verified counterexample to the Navier-Stokes existence and smoothness problem has dominated trader attention, as the company published a Lean-formalized proof yet explicitly declined any Millennium Prize claim. The result builds on recent human-AI collaboration by Tristan Buckmaster and Levent Alpöge, triggering immediate priority disputes and questions about whether the forcing method aligns with the Clay Institute’s official formulation. CMI president Martin Bridson has signaled a deliberately unhurried, rigorous evaluation process that still lists Navier-Stokes as unsolved, underscoring the gap between preprint claims and official declaration. Traders are watching for any formal CMI statement or independent mathematical consensus before the market cutoff, with historical precedent showing years-long reviews even for accepted solutions like the Poincaré conjecture.
This market will resolve to "Yes" if the Clay Mathematics Institute (CMI) awards a Millennium Prize for any of the six remaining unsolved Millennium Prize Problems, or otherwise officially declares any of these problems solved on its website or in an official communication, by 11:59 PM ET on the date specified in the title. Otherwise, this market will resolve to "No".
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.
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
Volume
$300,340End Date
Jan 1, 2029Market Opened
Jul 24, 2026, 5:05 PM ETResolver
0x65070BE91...This market will resolve to "Yes" if the Clay Mathematics Institute (CMI) awards a Millennium Prize for any of the six remaining unsolved Millennium Prize Problems, or otherwise officially declares any of these problems solved on its website or in an official communication, by 11:59 PM ET on the date specified in the title. Otherwise, this market will resolve to "No".
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.OpenAI’s September 8 announcement that an internal AI model produced a verified counterexample to the Navier-Stokes existence and smoothness problem has dominated trader attention, as the company published a Lean-formalized proof yet explicitly declined any Millennium Prize claim. The result builds on recent human-AI collaboration by Tristan Buckmaster and Levent Alpöge, triggering immediate priority disputes and questions about whether the forcing method aligns with the Clay Institute’s official formulation. CMI president Martin Bridson has signaled a deliberately unhurried, rigorous evaluation process that still lists Navier-Stokes as unsolved, underscoring the gap between preprint claims and official declaration. Traders are watching for any formal CMI statement or independent mathematical consensus before the market cutoff, with historical precedent showing years-long reviews even for accepted solutions like the Poincaré conjecture.
This market will resolve to "Yes" if the Clay Mathematics Institute (CMI) awards a Millennium Prize for any of the six remaining unsolved Millennium Prize Problems, or otherwise officially declares any of these problems solved on its website or in an official communication, by 11:59 PM ET on the date specified in the title. Otherwise, this market will resolve to "No".
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.
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.
Volume
$300,340End Date
Jan 1, 2029Market Opened
Jul 24, 2026, 5:05 PM ETResolver
0x65070BE91...OpenAI’s September 8 announcement that an internal AI model produced a verified counterexample to the Navier-Stokes existence and smoothness problem has dominated trader attention, as the company published a Lean-formalized proof yet explicitly declined any Millennium Prize claim. The result builds on recent human-AI collaboration by Tristan Buckmaster and Levent Alpöge, triggering immediate priority disputes and questions about whether the forcing method aligns with the Clay Institute’s official formulation. CMI president Martin Bridson has signaled a deliberately unhurried, rigorous evaluation process that still lists Navier-Stokes as unsolved, underscoring the gap between preprint claims and official declaration. Traders are watching for any formal CMI statement or independent mathematical consensus before the market cutoff, with historical precedent showing years-long reviews even for accepted solutions like the Poincaré conjecture.
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