OpenAI’s September 8 release of an AI-generated analytical proof and Lean formalization for finite-time singularity in forced 3D Navier-Stokes (statements C and D) has anchored trader sentiment against retraction. The company deployed roughly 10,000 agents over 88 hours on an internal model exceeding GPT-6 Astra capabilities, followed by 17 hours of verification, while explicitly declining the Clay Millennium Prize. Ongoing disputes with NYU and Anthropic researchers focus on research priority, credit, and possible indirect data influence rather than outright mathematical invalidity. Independent verification of the public Lean code remains the key near-term catalyst; realistic challenges would require discovery of a formalization error or an official OpenAI admission that the published argument fails to hold.
Experimental AI-generated summary referencing Polymarket data. This is not trading advice and plays no role in how this market resolves. · Updated7% chance
NEW
NEW
Dec 31, 2026
7% chance
NEW
NEW
Dec 31, 2026
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 release of an AI-generated analytical proof and Lean formalization for finite-time singularity in forced 3D Navier-Stokes (statements C and D) has anchored trader sentiment against retraction. The company deployed roughly 10,000 agents over 88 hours on an internal model exceeding GPT-6 Astra capabilities, followed by 17 hours of verification, while explicitly declining the Clay Millennium Prize. Ongoing disputes with NYU and Anthropic researchers focus on research priority, credit, and possible indirect data influence rather than outright mathematical invalidity. Independent verification of the public Lean code remains the key near-term catalyst; realistic challenges would require discovery of a formalization error or an official OpenAI admission that the published argument fails to hold.
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.
Market Opened: Sep 9, 2026, 6:04 PM ET
Volume
$50End Date
Jan 1, 2027Market Opened
Sep 9, 2026, 6:04 PM ETResolver
0x65070BE91...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 release of an AI-generated analytical proof and Lean formalization for finite-time singularity in forced 3D Navier-Stokes (statements C and D) has anchored trader sentiment against retraction. The company deployed roughly 10,000 agents over 88 hours on an internal model exceeding GPT-6 Astra capabilities, followed by 17 hours of verification, while explicitly declining the Clay Millennium Prize. Ongoing disputes with NYU and Anthropic researchers focus on research priority, credit, and possible indirect data influence rather than outright mathematical invalidity. Independent verification of the public Lean code remains the key near-term catalyst; realistic challenges would require discovery of a formalization error or an official OpenAI admission that the published argument fails to hold.
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.
Volume
$50End Date
Jan 1, 2027Market Opened
Sep 9, 2026, 6:04 PM ETResolver
0x65070BE91...OpenAI’s September 8 release of an AI-generated analytical proof and Lean formalization for finite-time singularity in forced 3D Navier-Stokes (statements C and D) has anchored trader sentiment against retraction. The company deployed roughly 10,000 agents over 88 hours on an internal model exceeding GPT-6 Astra capabilities, followed by 17 hours of verification, while explicitly declining the Clay Millennium Prize. Ongoing disputes with NYU and Anthropic researchers focus on research priority, credit, and possible indirect data influence rather than outright mathematical invalidity. Independent verification of the public Lean code remains the key near-term catalyst; realistic challenges would require discovery of a formalization error or an official OpenAI admission that the published argument fails to hold.
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