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