
Questo mercato si risolverà in "Sì" se il Clay Mathematics Institute (CMI) assegna un Premio del Millennio per uno qualsiasi dei sei problemi irrisolti del Premio del Millennio rimanenti, o altrimenti dichiara ufficialmente risolto uno qualsiasi di questi problemi sul proprio sito web o in una comunicazione ufficiale, entro le 23:59 ET della data specificata nel titolo. Altrimenti, questo mercato si risolverà in “No”.
Questo mercato si risolverà esclusivamente sulla base di una dichiarazione qualificante da parte di CMI che uno dei sei restanti problemi irrisolti del Premio del Millennio è stato risolto, indipendentemente dal fatto che la soluzione assuma la forma di una prova positiva, controesempio, confutazione o qualsiasi altra risoluzione accettata da CMI.
L'assegnazione del Premio Millennium costituirà una dichiarazione ufficiale, ma non è obbligatoria; una dichiarazione ufficiale del CMI che il problema è stato risolto è di per sé sufficiente. Non verrà preso in considerazione se la soluzione sia stata prodotta in tutto o in parte dall’intelligenza artificiale e se il destinatario accetti o rifiuti un premio.
Una dimostrazione pubblicata o postata pubblicamente non sarà qualificata da sola, indipendentemente dalla sua accettazione da parte della comunità matematica.
La fonte primaria di risoluzione saranno le informazioni ufficiali del Clay Mathematics Institute (ad esempio https://www.claymath.org); tuttavia, è possibile utilizzare un consenso su un reporting credibile per confermare che si è verificata una dichiarazione o un premio CMI qualificante.
«CMI dichiarerà un problema del Premio del Millennio risolto entro ___?» è un mercato previsionale su Melbo. Il prezzo di una quota riflette la probabilità dell’esito: sull’esito corretto ogni quota viene regolata a $1, su quello errato a $0.