Recent announcements from OpenAI and mathematicians Tristan Buckmaster and Levent Alpöge have sharply shifted focus to the Navier-Stokes existence and smoothness problem, one of the Clay Mathematics Institute’s Millennium Prize challenges. On September 8, 2026, OpenAI released a claimed proof—generated by thousands of internal AI agents and verified in Lean—showing finite-time singularity formation under smooth initial conditions with bounded energy, directly addressing the problem’s core question of whether solutions can break down. Concurrent work by Buckmaster and Alpöge advanced related Euler and Boussinesq cases using large language models but stopped short of the full three-dimensional incompressible Navier-Stokes equations. CMI has not yet issued any statement, and its established process demands extended peer scrutiny and community consensus before declaring a solution, a timeline that historically spans years rather than days. Traders are weighing the strength of the formalization and potential counterexamples against CMI’s deliberate pace and the possibility of further refinements or disputes emerging in the coming weeks.
基於Polymarket數據的AI實驗性摘要。這不是交易建議，也不影響該市場的結算方式。 · 更新於最新
2026-12-31
2026年12月31日
7%
2027年12月31日
15%
2028年12月31日
44%
$6,288 交易量
2026年12月31日
$3,987 交易量
7%
2027年12月31日
$880 交易量
15%
2028年12月31日
$1,421 交易量
44%
This market will resolve to "Yes" if the Clay Mathematics Institute (CMI) awards a Millennium Prize for the Navier-Stokes existence and smoothness problem, or otherwise officially declares the Navier-Stokes existence and smoothness problem solved on its website or in an official communication, by 11:59 PM ET of the listed date. Otherwise, this market will resolve to "No".
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.Recent announcements from OpenAI and mathematicians Tristan Buckmaster and Levent Alpöge have sharply shifted focus to the Navier-Stokes existence and smoothness problem, one of the Clay Mathematics Institute’s Millennium Prize challenges. On September 8, 2026, OpenAI released a claimed proof—generated by thousands of internal AI agents and verified in Lean—showing finite-time singularity formation under smooth initial conditions with bounded energy, directly addressing the problem’s core question of whether solutions can break down. Concurrent work by Buckmaster and Alpöge advanced related Euler and Boussinesq cases using large language models but stopped short of the full three-dimensional incompressible Navier-Stokes equations. CMI has not yet issued any statement, and its established process demands extended peer scrutiny and community consensus before declaring a solution, a timeline that historically spans years rather than days. Traders are weighing the strength of the formalization and potential counterexamples against CMI’s deliberate pace and the possibility of further refinements or disputes emerging in the coming weeks.
This market will resolve to "Yes" if the Clay Mathematics Institute (CMI) awards a Millennium Prize for the Navier-Stokes existence and smoothness problem, or otherwise officially declares the Navier-Stokes existence and smoothness problem solved on its website or in an official communication, by 11:59 PM ET of the listed date. Otherwise, this market will resolve to "No".
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.
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.
市場開放時間： Sep 9, 2026, 12:21 PM ET
交易量
$6,288結束日期
2029-01-01市場開放時間
Sep 9, 2026, 12:21 PM ETThis market will resolve to "Yes" if the Clay Mathematics Institute (CMI) awards a Millennium Prize for the Navier-Stokes existence and smoothness problem, or otherwise officially declares the Navier-Stokes existence and smoothness problem solved on its website or in an official communication, by 11:59 PM ET of the listed date. Otherwise, this market will resolve to "No".
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.Recent announcements from OpenAI and mathematicians Tristan Buckmaster and Levent Alpöge have sharply shifted focus to the Navier-Stokes existence and smoothness problem, one of the Clay Mathematics Institute’s Millennium Prize challenges. On September 8, 2026, OpenAI released a claimed proof—generated by thousands of internal AI agents and verified in Lean—showing finite-time singularity formation under smooth initial conditions with bounded energy, directly addressing the problem’s core question of whether solutions can break down. Concurrent work by Buckmaster and Alpöge advanced related Euler and Boussinesq cases using large language models but stopped short of the full three-dimensional incompressible Navier-Stokes equations. CMI has not yet issued any statement, and its established process demands extended peer scrutiny and community consensus before declaring a solution, a timeline that historically spans years rather than days. Traders are weighing the strength of the formalization and potential counterexamples against CMI’s deliberate pace and the possibility of further refinements or disputes emerging in the coming weeks.
This market will resolve to "Yes" if the Clay Mathematics Institute (CMI) awards a Millennium Prize for the Navier-Stokes existence and smoothness problem, or otherwise officially declares the Navier-Stokes existence and smoothness problem solved on its website or in an official communication, by 11:59 PM ET of the listed date. Otherwise, this market will resolve to "No".
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.
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.
交易量
$6,288結束日期
2029-01-01市場開放時間
Sep 9, 2026, 12:21 PM ETRecent announcements from OpenAI and mathematicians Tristan Buckmaster and Levent Alpöge have sharply shifted focus to the Navier-Stokes existence and smoothness problem, one of the Clay Mathematics Institute’s Millennium Prize challenges. On September 8, 2026, OpenAI released a claimed proof—generated by thousands of internal AI agents and verified in Lean—showing finite-time singularity formation under smooth initial conditions with bounded energy, directly addressing the problem’s core question of whether solutions can break down. Concurrent work by Buckmaster and Alpöge advanced related Euler and Boussinesq cases using large language models but stopped short of the full three-dimensional incompressible Navier-Stokes equations. CMI has not yet issued any statement, and its established process demands extended peer scrutiny and community consensus before declaring a solution, a timeline that historically spans years rather than days. Traders are weighing the strength of the formalization and potential counterexamples against CMI’s deliberate pace and the possibility of further refinements or disputes emerging in the coming weeks.
基於Polymarket數據的AI實驗性摘要。這不是交易建議，也不影響該市場的結算方式。 · 更新於
警惕外部連結哦。
警惕外部連結哦。
Frequently Asked Questions