OpenAI’s September 8 announcement of an AI-generated proof showing finite-time singularities in the forced 3D Navier-Stokes equations has sharply shifted trader sentiment on whether the Clay Mathematics Institute will declare the Millennium Prize Problem solved by any near-term deadline. The result, produced by roughly 10,000 autonomous agents over 88 hours and verified in Lean, builds on recent human-AI work by Buckmaster and Alpöge on the related Euler equations. CMI president Martin Bridson acknowledged the advance but emphasized the institute’s deliberately rigorous, unhurried evaluation process, which requires broad mathematical consensus and has historically taken years. OpenAI explicitly declined to claim the $1 million prize, underscoring ongoing debate over whether the specific formulation fully meets the official problem statement. Traders are watching for the next credible peer-reviewed acceptance or formal CMI statement as the key catalyst.
Experimental AI-generated summary referencing Polymarket data. This is not trading advice and plays no role in how this market resolves. · UpdatedDecember 31, 2026
12%
December 31, 2027
51%
December 31, 2028
52%
$0.00 Vol.
December 31, 2026
12%
December 31, 2027
51%
December 31, 2028
52%
A Millennium Prize award will qualify as an official declaration, but is not required; an official CMI statement that the Navier-Stokes existence and smoothness 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: Sep 9, 2026, 12:21 PM ET
Resolver
0x65070BE91...A Millennium Prize award will qualify as an official declaration, but is not required; an official CMI statement that the Navier-Stokes existence and smoothness 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...OpenAI’s September 8 announcement of an AI-generated proof showing finite-time singularities in the forced 3D Navier-Stokes equations has sharply shifted trader sentiment on whether the Clay Mathematics Institute will declare the Millennium Prize Problem solved by any near-term deadline. The result, produced by roughly 10,000 autonomous agents over 88 hours and verified in Lean, builds on recent human-AI work by Buckmaster and Alpöge on the related Euler equations. CMI president Martin Bridson acknowledged the advance but emphasized the institute’s deliberately rigorous, unhurried evaluation process, which requires broad mathematical consensus and has historically taken years. OpenAI explicitly declined to claim the $1 million prize, underscoring ongoing debate over whether the specific formulation fully meets the official problem statement. Traders are watching for the next credible peer-reviewed acceptance or formal CMI statement as the key catalyst.
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