- CMI déclarera-t-il le problème de Navier-Stokes résolu d’ici le 31 décembre 2026 ?4¢4 %
- CMI déclarera-t-il le problème de Navier-Stokes résolu d’ici le 31 décembre 2027 ?14¢14 %
- CMI déclarera-t-il le problème de Navier-Stokes résolu d’ici le 31 décembre 2028 ?38¢38 %
OpenAI’s September 2026 announcement that an internal multi-agent AI system produced a Lean-formalized proof of finite-time singularity in the forced three-dimensional Navier-Stokes equations has driven recent trader sentiment, though CMI immediately described the problem as only “apparently settled.” The institute’s rules require peer-reviewed publication in a qualifying journal, broad community acceptance, and a two-year waiting period before any declaration, leaving the problem officially active as of late October. Parallel human-AI results on related forced Euler and Boussinesq equations by Buckmaster and Alpöge have added context but do not resolve the unforced case central to the prize formulation. Ongoing scrutiny, including an October arXiv note questioning semantic fidelity of the Lean formalization, and the absence of an accepted journal paper keep resolution timelines uncertain despite the computational milestone.
Règles
Ce marché sera réglé sur « Oui » si le Clay Mathematics Institute (CMI) décerne un prix du millénaire pour le problème d’existence et de régularité de Navier-Stokes, ou déclare officiellement d’une autre manière que le problème d’existence et de régularité de Navier-Stokes est résolu sur son site Web ou dans une communication officielle, avant 23:59 ET à la date indiquée. Dans le cas contraire, ce marché sera résolu sur « Non ». L’attribution d’un prix du millénaire sera considérée comme une déclaration officielle, mais elle n’est pas obligatoire ; une déclaration officielle du CMI indiquant que le problème d’existence et de régularité de Navier-Stokes est 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.