Ce marché se résoudra à « Oui » si un résultat mathématique qualifiant établit de manière inconditionnelle qu'au moins 70 % des zéros non triviaux de la fonction zêta de Riemann se trouvent sur la ligne critique, ou établit un résultat plus fort, y compris une preuve complète ou une réfutation de l'hypothèse de Riemann, d'ici 23 h 59 HE à la date spécifiée. Sinon, ce marché se résoudra à « Non ».

Aux fins de ce marché, « de manière inconditionnelle » signifie que le résultat qualifiant ne peut pas dépendre de l'hypothèse de Riemann ou de toute autre conjecture non prouvée nécessaire pour que le seuil indiqué tienne.

Un résultat établissant toute borne inférieure inconditionnelle de 70 % ou plus sera qualifié. Un résultat établissant un pourcentage plus élevé, prouvant que 100 % des zéros pertinents se trouvent sur la ligne critique, ou prouvant ou réfutant autrement complètement l'hypothèse de Riemann sera également qualifié.

La vérification computationnelle que des zéros individuels supplémentaires se trouvent sur la ligne critique ne sera pas qualifiée à elle seule, quel que soit le nombre de zéros vérifiés. Les résultats conditionnels, les arguments heuristiques, les preuves revendiquées sans vérification suffisante, les résultats partiels qui ne rencontrent pas le seuil de 70 %, ou les améliorations qui restent en dessous de 70 % ne seront pas qualifiés.

Un résultat qualifiant n'a pas besoin d'avoir terminé l'examen par les pairs ou d'avoir été formellement publié dans une revue académique d'ici la date limite du marché. Un article publié publiquement, une prépublication, un rapport technique ou tout autre travail mathématique publiquement disponible sera qualifié si le résultat est suffisamment étayé par sa preuve accompagnante et a reçu une validation ou une acceptation indépendante crédible d'experts reconnus en théorie analytique des nombres ou de la communauté mathématique plus large. Par exemple, le résultat d'Anthropic annoncé le 10 août 2026, qui a établi une borne inférieure inconditionnelle améliorée d'environ 67,25 % sur la proportion des zéros de la fonction zêta de Riemann sur la ligne critique, serait qualifié selon ces critères s'il rencontrait le seuil requis de 70 %.