- Чи оголосить CMI одну з проблем тисячоліття розв’язаною до 31 грудня 2026 р.?3¢3%
- Чи оголосить CMI одну з проблем тисячоліття розв’язаною до 31 грудня 2027 р.?13¢13%
- Чи оголосить CMI одну з проблем тисячоліття розв’язаною до 31 грудня 2028 р.?36¢36%
OpenAI’s September 2026 announcement of an AI-generated proof resolving the Navier-Stokes existence and smoothness problem has become the dominant catalyst shaping trader sentiment on whether CMI will declare any Millennium Prize solved by the contract date. The company’s Lean-formalized claim of a finite-time singularity drew immediate attention from the math community, prompting CMI’s September 11 statement that the problem appears “apparently settled” while stressing its deliberately slow process: peer-reviewed publication, broad acceptance, and roughly two years of scrutiny before any prize consideration. Only the Poincaré conjecture has ever reached official resolution, awarded in 2010. With Navier-Stokes still labeled “active” and competing human-AI efforts adding uncertainty, markets hinge on verification timelines, upcoming community reviews, and whether CMI issues further updates before the deadline.
Правила
Ринок буде врегульовано як «Так», якщо Clay Mathematics Institute (CMI) присудить премію тисячоліття за одну із шести нерозв’язаних задач тисячоліття, що залишилися, або іншим чином офіційно оголосить будь-яку з цих задач розв’язаною на своєму вебсайті чи в офіційному повідомленні до 23:59 ET дати, зазначеної в назві. В іншому разі цей ринок буде розраховано як «Ні». Ринок буде врегульовано виключно на підставі відповідної заяви CMI про те, що одну із шести нерозв’язаних задач тисячоліття, які залишилися, розв’язано, незалежно від того, чи має розв’язання форму прямого доведення, контрприкладу, спростування або будь-якого іншого розв’язання, прийнятого CMI. Присудження премії тисячоліття вважатиметься офіційною заявою, але не є обов’язковим; офіційної заяви CMI про те, що задачу розв’язано, буде достатньо. Не враховуватиметься, чи було розв’язання повністю або частково створене штучним інтелектом і чи приймає або відхиляє будь-який із лауреатів премію. Опубліковане або оприлюднене доведення саме по собі не відповідатиме умовам, незалежно від того, чи визнає його математична спільнота. Основним джерелом для врегулювання буде офіційна інформація від Clay Mathematics Institute (наприклад, https://www.claymath.org); однак для підтвердження того, що відбулася відповідна заява CMI або присудження премії, можна використовувати узгоджені повідомлення надійних джерел.
Машинний переклад. У спірних випадках діє оригінал.