OpenAI’s September 8 announcement of an AI-generated proof for the Navier-Stokes existence and smoothness problem, backed by a public Lean formalization verified after 88 hours of agent work, has anchored trader sentiment against retraction. The company narrowed its claim to statements C and D in the Millennium formulation and explicitly declined the prize, while denying any use of external researcher data amid credit disputes with NYU’s Tristan Buckmaster and Anthropic’s Levent Alpöge. Lean’s machine-checkable output and the scale of compute invested reduce immediate error risk, yet unresolved academic scrutiny and potential proof refinements keep the market near even. Upcoming mathematician reviews of the GitHub repository and any OpenAI clarifications on model capabilities could shift odds.
Tóm tắt AI thử nghiệm tham chiếu dữ liệu Polymarket. Đây không phải tư vấn giao dịch và không ảnh hưởng đến cách thị trường này được giải quyết. · Cập nhật50% khả năng
MỚI
MỚI
Dec 31, 2026
50% khả năng
MỚI
MỚI
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 announcement of an AI-generated proof for the Navier-Stokes existence and smoothness problem, backed by a public Lean formalization verified after 88 hours of agent work, has anchored trader sentiment against retraction. The company narrowed its claim to statements C and D in the Millennium formulation and explicitly declined the prize, while denying any use of external researcher data amid credit disputes with NYU’s Tristan Buckmaster and Anthropic’s Levent Alpöge. Lean’s machine-checkable output and the scale of compute invested reduce immediate error risk, yet unresolved academic scrutiny and potential proof refinements keep the market near even. Upcoming mathematician reviews of the GitHub repository and any OpenAI clarifications on model capabilities could shift odds.
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.
Thị trường mở: Sep 9, 2026, 6:04 PM ET
Khối lượng
$0Ngày kết thúc
Jan 1, 2027Thị trường mở
Sep 9, 2026, 6:04 PM ETNgười giải quyết
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 announcement of an AI-generated proof for the Navier-Stokes existence and smoothness problem, backed by a public Lean formalization verified after 88 hours of agent work, has anchored trader sentiment against retraction. The company narrowed its claim to statements C and D in the Millennium formulation and explicitly declined the prize, while denying any use of external researcher data amid credit disputes with NYU’s Tristan Buckmaster and Anthropic’s Levent Alpöge. Lean’s machine-checkable output and the scale of compute invested reduce immediate error risk, yet unresolved academic scrutiny and potential proof refinements keep the market near even. Upcoming mathematician reviews of the GitHub repository and any OpenAI clarifications on model capabilities could shift odds.
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.
Khối lượng
$0Ngày kết thúc
Jan 1, 2027Thị trường mở
Sep 9, 2026, 6:04 PM ETNgười giải quyết
0x65070BE91...OpenAI’s September 8 announcement of an AI-generated proof for the Navier-Stokes existence and smoothness problem, backed by a public Lean formalization verified after 88 hours of agent work, has anchored trader sentiment against retraction. The company narrowed its claim to statements C and D in the Millennium formulation and explicitly declined the prize, while denying any use of external researcher data amid credit disputes with NYU’s Tristan Buckmaster and Anthropic’s Levent Alpöge. Lean’s machine-checkable output and the scale of compute invested reduce immediate error risk, yet unresolved academic scrutiny and potential proof refinements keep the market near even. Upcoming mathematician reviews of the GitHub repository and any OpenAI clarifications on model capabilities could shift odds.
Tóm tắt AI thử nghiệm tham chiếu dữ liệu Polymarket. Đây không phải tư vấn giao dịch và không ảnh hưởng đến cách thị trường này được giải quyết. · Cập nhật
Cẩn thận với liên kết bên ngoài.
Cẩn thận với liên kết bên ngoài.
Câu hỏi thường gặp