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.
यदि OpenAI बाज़ार बनने और 31 दिसंबर 2026, 11:59 pm ET के बीच अपने Navier-Stokes समाधान को वापस लेता है, तो इस बाज़ार का निपटारा "हाँ" के रूप में होगा। अन्यथा, यह मार्केट "नहीं" के रूप में तय होगा। OpenAI का Navier-Stokes समाधान उस Navier-Stokes समाधान को संदर्भित करता है जिसकी घोषणा OpenAI ने 8 सितंबर 2026 को की थी (https://openai.com/index/navier-stokes-solution/)। वापसी को मान्य तब माना जाएगा जब OpenAI आधिकारिक रूप से और सार्वजनिक रूप से कहे कि प्रकाशित प्रमाण गलत था या Navier-Stokes समस्या का समाधान नहीं करता। किसी अन्य पक्ष के बयान मान्य नहीं होंगे। ऐसे संशोधन मान्य नहीं होंगे जो Navier-Stokes समस्या के समाधान के रूप में शुरुआती प्रमाण की सत्यता को वापस नहीं लेते। परिणाम के लेखन, श्रेय या श्रेय-निर्धारण के बारे में, या Millennium Prize के लिए इसकी पात्रता के बारे में दिए गए बयान अपने-आप में मान्य नहीं होंगे। इस बाज़ार के निपटारे का मुख्य स्रोत OpenAI की आधिकारिक जानकारी होगी; हालांकि, विश्वसनीय समाचार रिपोर्टों में बनी सहमति का भी उपयोग किया जा सकता है।
मशीन अनुवाद। विवाद की स्थिति में मूल पाठ मान्य होगा।