OpenAI’s September 8 announcement of an AI-generated Navier-Stokes proof—produced by thousands of internal agents over 88 hours and verified via Lean formalization—has split trader sentiment at 50% on retraction. The result demonstrates finite-time singularities in forced 3D flows, addressing key Millennium Prize statements, yet faces immediate pushback over research priority from NYU’s Tristan Buckmaster and Anthropic’s Levent Alpöge, who released related Euler-equation advances days earlier. OpenAI denies accessing their work but acknowledges rumors prompted the compute surge, while narrowing its claims and declining the prize. Upcoming mathematician reviews of the public GitHub files and any internal model disclosures could either solidify the solution or expose gaps, tipping the closely balanced market.
Ringkasan eksperimental yang dihasilkan AI dengan referensi data Polymarket. Ini bukan saran trading dan tidak berperan dalam bagaimana pasar ini diselesaikan. · DiperbaruiOpenAI'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.
Pasar Dibuka: Sep 9, 2026, 6:04 PM ET
Resolver
0x65070BE91...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.
Resolver
0x65070BE91...OpenAI’s September 8 announcement of an AI-generated Navier-Stokes proof—produced by thousands of internal agents over 88 hours and verified via Lean formalization—has split trader sentiment at 50% on retraction. The result demonstrates finite-time singularities in forced 3D flows, addressing key Millennium Prize statements, yet faces immediate pushback over research priority from NYU’s Tristan Buckmaster and Anthropic’s Levent Alpöge, who released related Euler-equation advances days earlier. OpenAI denies accessing their work but acknowledges rumors prompted the compute surge, while narrowing its claims and declining the prize. Upcoming mathematician reviews of the public GitHub files and any internal model disclosures could either solidify the solution or expose gaps, tipping the closely balanced market.
Ringkasan eksperimental yang dihasilkan AI dengan referensi data Polymarket. Ini bukan saran trading dan tidak berperan dalam bagaimana pasar ini diselesaikan. · Diperbarui

Hati-hati dengan link eksternal.
Hati-hati dengan link eksternal.
Pertanyaan yang Sering Diajukan