- Чи відкличе OpenAI у 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.
Правила
Цей ринок буде розраховано на «Так», якщо OpenAI відкличе своє розв’язання рівнянь Нав’є—Стокса між створенням ринку та 31 грудня 2026 р. о 23:59 ET. В іншому разі цей ринок буде розраховано як «Ні». Розв’язання рівнянь Нав’є—Стокса від OpenAI означає розв’язання, про яке OpenAI оголосила 8 вересня 2026 р. (https://openai.com/index/navier-stokes-solution/). Відкликання вважається таким, що відповідає критеріям, якщо OpenAI офіційно й публічно заявить, що опублікований доказ був неправильним або не розв’язує задачу Нав’є—Стокса. Заяви будь-яких інших сторін не відповідатимуть критеріям. Зміни, які не відкликають правильність початкового доказу як розв’язання задачі Нав’є—Стокса, не відповідатимуть критеріям. Заяви про авторство, заслуги чи приписування результату або про те, чи відповідає він вимогам для Millennium Prize, самі по собі не відповідатимуть критеріям. Основним джерелом для розрахунку цього ринку буде офіційна інформація від OpenAI; однак також може використовуватися консенсус достовірних повідомлень.
Машинний переклад. У спірних випадках діє оригінал.