- OpenAI retirera-t-il sa solution de Navier-Stokes d’ici 31 décembre 2026 ?6¢6 %
OpenAI’s September 2026 announcement of an AI-generated proof showing finite-time blowup for the forced 3D Navier-Stokes equations, backed by a Lean formalization, has sustained strong market conviction against retraction. The result stems from an internal multi-agent system consuming 130 billion tokens, and while a credit dispute with mathematicians Tristan Buckmaster and Levent Alpöge plus a mismatch between the natural-language write-up and Lean code have drawn scrutiny, no fatal flaw has emerged in subsequent reviews. Recent withdrawals of unrelated OpenAI math preprints highlight the company’s willingness to correct errors quickly, yet the Navier-Stokes claim remains intact amid deliberately unhurried Clay Institute evaluation. Traders see limited realistic paths to retraction by year-end absent a verified contradiction in the machine-checked steps.
Règles
Ce marché sera résolu en faveur de « Oui » si OpenAI retire sa solution des équations de Navier-Stokes entre la création du marché et le 31 décembre 2026 à 23:59 ET. Dans le cas contraire, ce marché sera résolu sur « Non ». La solution des équations de Navier-Stokes d’OpenAI désigne celle qu’OpenAI a annoncée le 8 septembre 2026 (https://openai.com/index/navier-stokes-solution/). Un retrait sera considéré comme recevable lorsqu’OpenAI déclare officiellement et publiquement que la preuve publiée était erronée ou ne résout pas le problème de Navier-Stokes. Les déclarations de toute autre partie ne seront pas recevables. Les révisions qui ne remettent pas en cause la validité de la preuve initiale en tant que solution au problème de Navier-Stokes ne seront pas recevables. Les déclarations portant sur la paternité, le mérite ou l’attribution du résultat, ou sur son admissibilité au Millennium Prize, ne seront pas recevables à elles seules. La principale source de résolution de ce marché sera constituée des informations officielles d’OpenAI ; toutefois, un consensus de reportages crédibles pourra également être utilisé.
Traduction automatique. En cas de litige, l'original fait foi.