
Ce marché répondra à « Oui » si le Clay Mathematics Institute (CMI) décerne un prix du millénaire pour l'un des six problèmes non résolus restants du prix du millénaire, ou déclare officiellement l'un de ces problèmes résolus sur son site Web ou dans une communication officielle, avant 23 h 59 HE à la date spécifiée dans le titre. Dans le cas contraire, ce marché répondra « non ».
Ce marché sera résolu uniquement sur la base d'une déclaration qualificative du CMI selon laquelle l'un des six problèmes non résolus du Prix du Millénaire a été résolu, que la solution prenne la forme d'une preuve positive, d'un contre-exemple, d'une réfutation ou de toute autre résolution acceptée par le CMI.
L'attribution du Prix du Millénaire sera considérée comme une déclaration officielle, mais n'est pas obligatoire ; une déclaration officielle du CMI selon laquelle un problème a été résolu suffit à elle seule. Il ne sera pas tenu compte du fait que la solution ait été produite en totalité ou en partie par l'intelligence artificielle et que le lauréat accepte ou refuse un prix.
Une preuve publiée ou affichée publiquement ne sera pas considérée en soi, quelle que soit son acceptation par la communauté mathématique.
La principale source de résolution sera les informations officielles du Clay Mathematics Institute (par exemple, https://www.claymath.org) ; cependant, un consensus de rapports crédibles peut être utilisé pour confirmer qu'une déclaration ou une récompense CMI admissible a eu lieu.
«Le CMI déclarera-t-il qu'un problème du Prix du Millénaire est résolu d'ici ___ ?» est un marché prédictif sur Melbo. Le prix d’une part reflète la probabilité du résultat : sur le résultat exact, chaque part est réglée à $1, sur l’autre à $0.