- Отзовёт ли OpenAI своё решение уравнений Навье—Стокса к 31 декабря 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.
Правила
Этот рынок будет рассчитан как «Да», если 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; однако также может использоваться консенсус достоверных сообщений.
Машинный перевод. В спорных случаях действует оригинал.