- Le CMI déclarera-t-il résolu un problème du millénaire d’ici 31 décembre 2026 ?3¢3 %
- Le CMI déclarera-t-il résolu un problème du millénaire d’ici 31 décembre 2027 ?13¢13 %
- Le CMI déclarera-t-il résolu un problème du millénaire d’ici 31 décembre 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.
Règles
Ce marché sera résolu en « Oui » si le Clay Mathematics Institute (CMI) décerne un prix du millénaire pour l’un des six problèmes du prix du millénaire encore non résolus, ou déclare officiellement, sur son site Web ou dans une communication officielle, que l’un de ces problèmes est résolu, avant 23:59 ET à la date indiquée dans le titre. Dans le cas contraire, ce marché sera résolu sur « Non ». Ce marché sera résolu uniquement sur la base d’une déclaration recevable du CMI indiquant que l’un des six problèmes du prix du millénaire encore non résolus 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 d’un prix du millénaire constituera une déclaration officielle, mais n’est pas obligatoire ; une déclaration officielle du CMI indiquant qu’un problème a été résolu suffit à elle seule. Il ne sera pas tenu compte du fait que la solution ait été produite entièrement ou en partie par une intelligence artificielle, ni du fait qu’un bénéficiaire accepte ou refuse un prix. Une preuve publiée ou rendue publique ne sera pas recevable à elle seule, qu’elle soit acceptée ou non par la communauté mathématique. La principale source de résolution sera constituée des informations officielles du Clay Mathematics Institute (par exemple, https://www.claymath.org) ; toutefois, un consensus de sources d’information crédibles pourra être utilisé pour confirmer qu’une déclaration ou une attribution recevable du CMI a eu lieu.
Traduction automatique. En cas de litige, l'original fait foi.