- Объявит ли 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.
Правила
Этот рынок будет рассчитан на «Да», если Математический институт Клэя (CMI) присудит премию тысячелетия за любую из шести оставшихся нерешённых задач тысячелетия или иным образом официально объявит на своём сайте либо в официальном сообщении, что какая-либо из этих задач решена, до 23:59 ET даты, указанной в заголовке. В противном случае этот рынок будет рассчитан как «Нет». Этот рынок будет рассчитываться исключительно на основании соответствующего требованиям заявления CMI о том, что одна из шести оставшихся нерешёнными задач тысячелетия решена, независимо от того, было ли решение представлено в форме доказательства истинности, контрпримера, опровержения или любого другого варианта решения, принятого CMI. Присуждение премии тысячелетия будет считаться официальным заявлением, но не является обязательным условием; достаточно официального заявления CMI о том, что задача решена. Не будет учитываться, была ли задача решена полностью или частично с помощью искусственного интеллекта, а также принял или отклонил ли кто-либо из получателей премию. Опубликованное или размещённое в открытом доступе доказательство само по себе не будет соответствовать условиям, независимо от того, принято ли оно математическим сообществом. Основным источником для расчёта будет официальная информация Института математики Клэя (например, https://www.claymath.org); однако для подтверждения того, что CMI сделала соответствующее заявление или присудила премию, может использоваться консенсус заслуживающих доверия СМИ.
Машинный перевод. В спорных случаях действует оригинал.