
Questo mercato si risolverà in "Sì" se un risultato matematico qualificante stabilisce incondizionatamente che almeno il 70% degli zeri non banali della funzione zeta di Riemann si trovano sulla linea critica, o stabilisce un risultato più forte, inclusa una prova o confutazione completa dell'ipotesi di Riemann, entro le 23:59 ET della data specificata. Altrimenti, questo mercato si risolverà in “No”.
Ai fini di questo mercato, "incondizionatamente" significa che il risultato qualificante non può dipendere dall'ipotesi di Riemann o da qualsiasi altra congettura non dimostrata necessaria affinché la soglia stabilita sia rispettata.
Un risultato che stabilisca un limite inferiore incondizionato pari o superiore al 70% sarà considerato idoneo. Verrà considerato valido anche un risultato che stabilisca una percentuale più alta, dimostri che il 100% degli zeri rilevanti si trova sulla linea critica o che dimostri o smentisca completamente l'ipotesi di Riemann.
La verifica computazionale che ulteriori zeri individuali si trovino sulla linea critica non si qualificherà da sola, indipendentemente dal numero di zeri controllati. Risultati condizionali, argomentazioni euristiche, prove rivendicate senza sufficiente verifica, risultati parziali che non soddisfano la soglia del 70% o miglioramenti che rimangono al di sotto del 70% non saranno idonei.
Non è necessario che un risultato qualificante abbia completato la revisione tra pari o sia stato formalmente pubblicato su una rivista accademica entro la scadenza del mercato. Un documento pubblicato pubblicamente, una prestampa, un rapporto tecnico o altro lavoro matematico disponibile al pubblico sarà qualificato se il risultato è sufficientemente comprovato dalla prova di accompagnamento e ha ricevuto una convalida o un'accettazione credibile e indipendente da esperti riconosciuti nella teoria analitica dei numeri o dalla comunità matematica più ampia. Ad esempio, il risultato Anthropic annunciato il 10 agosto 2026, che stabiliva un limite inferiore incondizionato migliorato di circa il 67,25% sulla proporzione di zeri zeta di Riemann sulla linea critica, si qualificherebbe secondo questi criteri se raggiungesse la soglia richiesta del 70%.
La fonte di risoluzione per questo mercato sarà il consenso su un reporting credibile.
«Ulteriori progressi sostanziali sull'ipotesi di Riemann da parte di ___?» è 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.