- Отзовёт ли 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 отзовёт своё решение Navier–Stokes в период между созданием рынка и 31 декабря 2026 г. в 23:59 ET. В противном случае этот рынок будет рассчитан как «Нет». Под решением Navier–Stokes от OpenAI подразумевается решение Navier–Stokes, о котором OpenAI объявила 8 сентября 2026 г. (https://openai.com/index/navier-stokes-solution/). Отзыв считается соответствующим условиям, если OpenAI официально и публично заявит, что опубликованное доказательство было неверным или не решает задачу Navier–Stokes. Заявления любых других сторон не соответствуют условиям. Изменения, которые не отзывают правильность первоначального доказательства как решения задачи Navier–Stokes, не соответствуют условиям. Заявления об авторстве, заслугах или атрибуции результата либо о том, соответствует ли он требованиям для Millennium Prize, сами по себе не соответствуют условиям. Основным источником для расчёта этого рынка будет официальная информация от OpenAI; однако также может использоваться консенсус достоверных сообщений.
Машинный перевод. В спорных случаях действует оригинал.