- Czy CMI do 31 grudnia 2026 ogłosi rozwiązanie jednego z problemów milenijnych?3¢3%
- Czy CMI do 31 grudnia 2027 ogłosi rozwiązanie jednego z problemów milenijnych?13¢13%
- Czy CMI do 31 grudnia 2028 ogłosi rozwiązanie jednego z problemów milenijnych?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.
Zasady
Rynek zostanie rozstrzygnięty na „Tak”, jeśli Clay Mathematics Institute (CMI) przyzna Nagrodę Milenijną za jeden z sześciu pozostałych nierozwiązanych Problemów Milenijnych albo w inny sposób oficjalnie ogłosi rozwiązanie któregokolwiek z tych problemów na swojej stronie internetowej lub w oficjalnym komunikacie, do 23:59 ET w dniu wskazanym w tytule. W przeciwnym razie ten rynek zostanie rozstrzygnięty na „Nie”. Rynek zostanie rozstrzygnięty wyłącznie na podstawie kwalifikującego się oświadczenia CMI, że jeden z sześciu pozostałych nierozwiązanych Problemów Milenijnych został rozwiązany, niezależnie od tego, czy rozwiązanie przyjmuje postać dowodu pozytywnego, kontrprzykładu, obalenia czy innego rozwiązania zaakceptowanego przez CMI. Przyznanie Nagrody Milenijnej będzie uznawane za oficjalne oświadczenie, ale nie jest wymagane; samo oficjalne oświadczenie CMI, że problem został rozwiązany, będzie wystarczające. Nie będzie brane pod uwagę, czy rozwiązanie zostało opracowane w całości lub częściowo przez sztuczną inteligencję ani czy którykolwiek z odbiorców przyjmuje lub odrzuca nagrodę. Opublikowany lub udostępniony publicznie dowód sam w sobie nie będzie wystarczający, niezależnie od tego, czy został zaakceptowany przez społeczność matematyczną. Podstawowym źródłem rozstrzygnięcia będą oficjalne informacje Clay Mathematics Institute (np. https://www.claymath.org); do potwierdzenia, że doszło do kwalifikującego się oświadczenia lub przyznania nagrody przez CMI, można jednak wykorzystać zgodne doniesienia wiarygodnych mediów.
Tłumaczenie maszynowe. W razie sporu obowiązuje oryginał.