- OpenAI ritirerà la sua soluzione delle equazioni di Navier-Stokes nel 2026?7¢7%
OpenAI’s September 2026 announcement of an AI-generated proof establishing finite-time singularity for the forced 3D Navier-Stokes equations—complete with a publicly released 166-page manuscript and Lean formalization—has anchored trader sentiment against retraction. The machine-verified formalization and the result’s alignment with Clay Institute statements C and D provide a high bar for any later withdrawal, even amid credit disputes with Buckmaster and Alpöge and separate retractions of other OpenAI math preprints in October. Community scrutiny continues without reported fatal errors, while the company’s decision not to claim the Millennium Prize reduces external pressure. A reversal would require discovery of a substantive flaw in the verified construction or a major shift in how the result is framed, outcomes that remain low-probability given the current verification status.
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.