- OpenAI retirera-t-elle sa solution des équations de Navier-Stokes en 2026 ?6¢6 %
OpenAI’s September 2026 announcement of an AI-generated proof establishing finite-time singularity for the forced 3D Navier-Stokes equations—complete with a publicly released 166-page manuscript and Lean formalization—has anchored trader sentiment against retraction. The machine-verified formalization and the result’s alignment with Clay Institute statements C and D provide a high bar for any later withdrawal, even amid credit disputes with Buckmaster and Alpöge and separate retractions of other OpenAI math preprints in October. Community scrutiny continues without reported fatal errors, while the company’s decision not to claim the Millennium Prize reduces external pressure. A reversal would require discovery of a substantive flaw in the verified construction or a major shift in how the result is framed, outcomes that remain low-probability given the current verification status.
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.