Czy CMI ogłosi, że problem nagrody milenijnej został rozwiązany do ___?
Rynek ten przyjmie odpowiedź „Tak”, jeśli Instytut Matematyczny Clay (CMI) przyzna Nagrodę Milenijną za którykolwiek z sześciu pozostałych nierozwiązanych Problemów Nagrody Milenijnej lub w inny sposób oficjalnie ogłosi, że którykolwiek z tych problemów został rozwiązany na swojej stronie internetowej lub w oficjalnym komunikacie do godziny 23:59 czasu wschodniego w dniu określonym w tytule. W przeciwnym razie rynek ten zdecyduje się na „Nie”.
Rynek ten zostanie rozstrzygnięty wyłącznie na podstawie kwalifikującej deklaracji złożonej przez CMI, że jeden z sześciu pozostałych nierozwiązanych Problemów Nagrody Milenijnej został rozwiązany, niezależnie od tego, czy rozwiązanie przybierze formę pozytywnego dowodu, kontrprzykładu, obalenia czy innego rozwiązania zaakceptowanego przez CMI.
Nagroda Milenijna będzie kwalifikować się jako oficjalna deklaracja, ale nie jest wymagana; Samo oficjalne oświadczenie CMI, że problem został rozwiązany, wystarczy. To, czy rozwiązanie zostało w całości lub w części stworzone przez sztuczną inteligencję oraz czy odbiorca przyjął nagrodę, czy też ją odrzucił, nie będzie brane pod uwagę.
Opublikowany lub publicznie opublikowany dowód nie będzie kwalifikował się sam w sobie, niezależnie od jego akceptacji przez społeczność matematyczną.
Głównym źródłem rozdzielczości będą oficjalne informacje z Clay Mathematics Institute (np. https://www.claymath.org); jednakże konsensus dotyczący wiarygodnych raportów może zostać wykorzystany w celu potwierdzenia, że nastąpiło kwalifikujące oświadczenie lub nagroda CMI.
„Czy CMI ogłosi, że problem nagrody milenijnej został rozwiązany do ___?” to rynek prognoz na Melbo. Cena udziału odzwierciedla prawdopodobieństwo wyniku: przy prawidłowym wyniku każdy udział jest rozliczany po $1, przy błędnym po $0.