- OpenAI ritirerà la sua soluzione di Navier-Stokes entro 31 dicembre 2026?6¢6%
OpenAI’s September 2026 announcement of an AI-generated proof showing finite-time blowup for the forced 3D Navier-Stokes equations, backed by a Lean formalization, has sustained strong market conviction against retraction. The result stems from an internal multi-agent system consuming 130 billion tokens, and while a credit dispute with mathematicians Tristan Buckmaster and Levent Alpöge plus a mismatch between the natural-language write-up and Lean code have drawn scrutiny, no fatal flaw has emerged in subsequent reviews. Recent withdrawals of unrelated OpenAI math preprints highlight the company’s willingness to correct errors quickly, yet the Navier-Stokes claim remains intact amid deliberately unhurried Clay Institute evaluation. Traders see limited realistic paths to retraction by year-end absent a verified contradiction in the machine-checked steps.
Regole
Questo mercato si risolverà su "Sì" se OpenAI ritira la propria soluzione delle equazioni di Navier-Stokes tra la creazione del mercato e il 31 dicembre 2026 alle 23:59 ET. Altrimenti, questo mercato si risolverà su "No". La soluzione delle equazioni di Navier-Stokes di OpenAI si riferisce a quella annunciata da OpenAI il 8 settembre 2026 (https://openai.com/index/navier-stokes-solution/). Un ritiro sarà considerato valido quando OpenAI dichiara ufficialmente e pubblicamente che la dimostrazione pubblicata era errata o non risolve il problema di Navier-Stokes. Le dichiarazioni di qualsiasi altra parte non saranno considerate valide. Le revisioni che non ritirano la correttezza della dimostrazione iniziale come soluzione del problema di Navier-Stokes non saranno considerate valide. Le dichiarazioni sulla paternità, sul merito o sull'attribuzione del risultato, oppure sulla sua idoneità al Millennium Prize, non saranno considerate valide di per sé. La fonte principale per la risoluzione di questo mercato sarà costituita dalle informazioni ufficiali di OpenAI; tuttavia, potrà essere utilizzato anche un consenso di resoconti attendibili.
Traduzione automatica. In caso di controversia, fa fede l'originale.