- CMI dichiarerà risolto un Problema del Millennio entro 31 dicembre 2026?3¢3%
- CMI dichiarerà risolto un Problema del Millennio entro 31 dicembre 2027?13¢13%
- CMI dichiarerà risolto un Problema del Millennio entro 31 dicembre 2028?36¢36%
OpenAI’s September 2026 announcement of an AI-generated proof resolving the Navier-Stokes existence and smoothness problem has become the dominant catalyst shaping trader sentiment on whether CMI will declare any Millennium Prize solved by the contract date. The company’s Lean-formalized claim of a finite-time singularity drew immediate attention from the math community, prompting CMI’s September 11 statement that the problem appears “apparently settled” while stressing its deliberately slow process: peer-reviewed publication, broad acceptance, and roughly two years of scrutiny before any prize consideration. Only the Poincaré conjecture has ever reached official resolution, awarded in 2010. With Navier-Stokes still labeled “active” and competing human-AI efforts adding uncertainty, markets hinge on verification timelines, upcoming community reviews, and whether CMI issues further updates before the deadline.
Regole
Questo mercato si risolverà con "Sì" se il Clay Mathematics Institute (CMI) assegnerà un Millennium Prize per uno dei sei Millennium Prize Problems ancora irrisolti, oppure dichiarerà ufficialmente risolto uno qualsiasi di questi problemi sul proprio sito web o in una comunicazione ufficiale, entro le 23:59 ET della data indicata nel titolo. Altrimenti, questo mercato si risolverà su "No". Questo mercato si risolverà esclusivamente sulla base di una dichiarazione ammissibile del CMI secondo cui uno dei sei Millennium Prize Problems ancora irrisolti è stato risolto, indipendentemente dal fatto che la soluzione consista in una dimostrazione positiva, un controesempio, una confutazione o qualsiasi altra soluzione accettata dal CMI. L'assegnazione di un Millennium Prize varrà come dichiarazione ufficiale, ma non è necessaria; sarà sufficiente, da sola, una dichiarazione ufficiale del CMI secondo cui un problema è stato risolto. Non si terrà conto del fatto che la soluzione sia stata prodotta interamente o in parte dall'intelligenza artificiale, né del fatto che un destinatario accetti o rifiuti un premio. Una dimostrazione pubblicata o resa pubblica non sarà sufficiente di per sé, indipendentemente dalla sua accettazione da parte della comunità matematica. La fonte primaria per la risoluzione sarà costituita dalle informazioni ufficiali del Clay Mathematics Institute (ad es. https://www.claymath.org); tuttavia, per confermare che si sia verificata una dichiarazione o un'assegnazione ammissibile del CMI, si potrà fare affidamento su un consenso di fonti giornalistiche credibili.
Traduzione automatica. In caso di controversia, fa fede l'originale.