OpenAI's September 8 announcement of a Lean-formalized proof showing finite-time singularity in the forced 3D Navier-Stokes equations has anchored trader sentiment, with the public repository and machine-checked verification providing concrete evidence of a valid mathematical result rather than an unsubstantiated claim. The multi-agent effort, leveraging an internal model beyond GPT-6 Astra, produced both an analytical writeup and formalization without immediate contradictions from the mathematical community. While a priority dispute with researchers working on related Euler equations has sparked debate over credit and potential indirect influence, it centers on timing rather than proof correctness. Realistic challenges to the current 94% odds against retraction include discovery of subtle gaps during extended peer scrutiny or unexpected revisions to the Clay formulation criteria before year-end.
基于Polymarket数据的AI实验性摘要。这不是交易建议，也不影响该市场的结算方式。 · 更新于是
7% 概率
最新
最新
2026-12-31
是
7% 概率
最新
最新
2026-12-31
This market will resolve to "Yes" if OpenAI retracts its Navier-Stokes solution between market creation and December 31, 2026, 11:59 PM ET. Otherwise, this market will resolve to "No".
OpenAI's Navier-Stokes solution refers to the Navier-Stokes solution that OpenAI announced on September 8, 2026 (https://openai.com/index/navier-stokes-solution/).
A qualifying retraction occurs when OpenAI officially and publicly states that the published proof was incorrect or does not solve the Navier-Stokes problem. Statements by any other party will not qualify. Revisions that do not retract the correctness of the initial proof as a solution to the Navier-Stokes problem will not qualify. Statements about the authorship, credit, or attribution of the result, or about whether it qualifies for the Millennium Prize, will not on their own qualify.
The primary resolution source for this market will be official information from OpenAI; however, a consensus of credible reporting may also be used.OpenAI's September 8 announcement of a Lean-formalized proof showing finite-time singularity in the forced 3D Navier-Stokes equations has anchored trader sentiment, with the public repository and machine-checked verification providing concrete evidence of a valid mathematical result rather than an unsubstantiated claim. The multi-agent effort, leveraging an internal model beyond GPT-6 Astra, produced both an analytical writeup and formalization without immediate contradictions from the mathematical community. While a priority dispute with researchers working on related Euler equations has sparked debate over credit and potential indirect influence, it centers on timing rather than proof correctness. Realistic challenges to the current 94% odds against retraction include discovery of subtle gaps during extended peer scrutiny or unexpected revisions to the Clay formulation criteria before year-end.
This market will resolve to "Yes" if OpenAI retracts its Navier-Stokes solution between market creation and December 31, 2026, 11:59 PM ET. Otherwise, this market will resolve to "No".
OpenAI's Navier-Stokes solution refers to the Navier-Stokes solution that OpenAI announced on September 8, 2026 (https://openai.com/index/navier-stokes-solution/).
A qualifying retraction occurs when OpenAI officially and publicly states that the published proof was incorrect or does not solve the Navier-Stokes problem. Statements by any other party will not qualify. Revisions that do not retract the correctness of the initial proof as a solution to the Navier-Stokes problem will not qualify. Statements about the authorship, credit, or attribution of the result, or about whether it qualifies for the Millennium Prize, will not on their own qualify.
The primary resolution source for this market will be official information from OpenAI; however, a consensus of credible reporting may also be used.
OpenAI's Navier-Stokes solution refers to the Navier-Stokes solution that OpenAI announced on September 8, 2026 (https://openai.com/index/navier-stokes-solution/).
A qualifying retraction occurs when OpenAI officially and publicly states that the published proof was incorrect or does not solve the Navier-Stokes problem. Statements by any other party will not qualify. Revisions that do not retract the correctness of the initial proof as a solution to the Navier-Stokes problem will not qualify. Statements about the authorship, credit, or attribution of the result, or about whether it qualifies for the Millennium Prize, will not on their own qualify.
The primary resolution source for this market will be official information from OpenAI; however, a consensus of credible reporting may also be used.
市场开放时间： Sep 9, 2026, 6:04 PM ET
交易量
$62结束日期
2027-01-01市场开放时间
Sep 9, 2026, 6:04 PM ETThis market will resolve to "Yes" if OpenAI retracts its Navier-Stokes solution between market creation and December 31, 2026, 11:59 PM ET. Otherwise, this market will resolve to "No".
OpenAI's Navier-Stokes solution refers to the Navier-Stokes solution that OpenAI announced on September 8, 2026 (https://openai.com/index/navier-stokes-solution/).
A qualifying retraction occurs when OpenAI officially and publicly states that the published proof was incorrect or does not solve the Navier-Stokes problem. Statements by any other party will not qualify. Revisions that do not retract the correctness of the initial proof as a solution to the Navier-Stokes problem will not qualify. Statements about the authorship, credit, or attribution of the result, or about whether it qualifies for the Millennium Prize, will not on their own qualify.
The primary resolution source for this market will be official information from OpenAI; however, a consensus of credible reporting may also be used.OpenAI's September 8 announcement of a Lean-formalized proof showing finite-time singularity in the forced 3D Navier-Stokes equations has anchored trader sentiment, with the public repository and machine-checked verification providing concrete evidence of a valid mathematical result rather than an unsubstantiated claim. The multi-agent effort, leveraging an internal model beyond GPT-6 Astra, produced both an analytical writeup and formalization without immediate contradictions from the mathematical community. While a priority dispute with researchers working on related Euler equations has sparked debate over credit and potential indirect influence, it centers on timing rather than proof correctness. Realistic challenges to the current 94% odds against retraction include discovery of subtle gaps during extended peer scrutiny or unexpected revisions to the Clay formulation criteria before year-end.
This market will resolve to "Yes" if OpenAI retracts its Navier-Stokes solution between market creation and December 31, 2026, 11:59 PM ET. Otherwise, this market will resolve to "No".
OpenAI's Navier-Stokes solution refers to the Navier-Stokes solution that OpenAI announced on September 8, 2026 (https://openai.com/index/navier-stokes-solution/).
A qualifying retraction occurs when OpenAI officially and publicly states that the published proof was incorrect or does not solve the Navier-Stokes problem. Statements by any other party will not qualify. Revisions that do not retract the correctness of the initial proof as a solution to the Navier-Stokes problem will not qualify. Statements about the authorship, credit, or attribution of the result, or about whether it qualifies for the Millennium Prize, will not on their own qualify.
The primary resolution source for this market will be official information from OpenAI; however, a consensus of credible reporting may also be used.
OpenAI's Navier-Stokes solution refers to the Navier-Stokes solution that OpenAI announced on September 8, 2026 (https://openai.com/index/navier-stokes-solution/).
A qualifying retraction occurs when OpenAI officially and publicly states that the published proof was incorrect or does not solve the Navier-Stokes problem. Statements by any other party will not qualify. Revisions that do not retract the correctness of the initial proof as a solution to the Navier-Stokes problem will not qualify. Statements about the authorship, credit, or attribution of the result, or about whether it qualifies for the Millennium Prize, will not on their own qualify.
The primary resolution source for this market will be official information from OpenAI; however, a consensus of credible reporting may also be used.
交易量
$62结束日期
2027-01-01市场开放时间
Sep 9, 2026, 6:04 PM ETOpenAI's September 8 announcement of a Lean-formalized proof showing finite-time singularity in the forced 3D Navier-Stokes equations has anchored trader sentiment, with the public repository and machine-checked verification providing concrete evidence of a valid mathematical result rather than an unsubstantiated claim. The multi-agent effort, leveraging an internal model beyond GPT-6 Astra, produced both an analytical writeup and formalization without immediate contradictions from the mathematical community. While a priority dispute with researchers working on related Euler equations has sparked debate over credit and potential indirect influence, it centers on timing rather than proof correctness. Realistic challenges to the current 94% odds against retraction include discovery of subtle gaps during extended peer scrutiny or unexpected revisions to the Clay formulation criteria before year-end.
基于Polymarket数据的AI实验性摘要。这不是交易建议，也不影响该市场的结算方式。 · 更新于
警惕外部链接哦。
警惕外部链接哦。
常见问题