
Rynek ten potwierdzi odpowiedź „Tak”, jeśli kwalifikujące się laboratorium sztucznej inteligencji ogłosi rozwiązanie problemu określonego w tytule do 31 grudnia 2026 r. do godziny 23:59 czasu wschodniego. W przeciwnym razie rynek ten zdecyduje się na „Nie”.
Ogłoszenie kwalifikacyjne musi zostać wydane przez kwalifikujące się laboratorium AI lub oficjalnego przedstawiciela laboratorium i musi zawierać informację, że problem określony w tytule został rozwiązany; ogłoszenia częściowych wyników lub postępu w kierunku rozwiązania nie będą się kwalifikować. W ogłoszeniu należy przedstawić rozwiązanie jako dzieło laboratorium, jego badaczy lub modeli, samodzielnie lub wspólnie z badaczami zewnętrznymi. Ogłoszenie, w którym wyróżniono lub pogratulowano badaczom zewnętrznym, w tym badaczom, którzy korzystali z modeli laboratoryjnych, obliczeń lub kredytów badawczych, nie będzie się kwalifikować. Nie jest wymagane żadne dalsze potwierdzenie od Clay Mathematics Institute ani żadnej innej organizacji.
Kwalifikujące się laboratoria AI to Anthropic, Google, SpaceXAI, Alibaba, OpenAI, Baidu, Z.ai, Xiaomi, Moonshot, Meta, Nvidia, DeepSeek, MiniMax, Meituan, Amazon, ByteDance, Mistral, Tencent, StepFun, Microsoft, Harmonic, Axiom Math, Math Inc, Safe Superintelligence, Thinking Machines Lab, Reflection AI, Periodic Labs, Apple, IBM, Huawei, Samsung, Oracle, Salesforce, Cohere, AI21 Labs, Reka, Sakana AI, Poolside, Magic, Perplexity, Anysphere, Kuaishou, SenseTime, iFlytek, Baichuan i 01.AI wraz z ich spółkami zależnymi i działami badawczymi oraz każda inna firma, której model znajduje się na liście liderów MMLU-pro (https://huggingface.co/spaces/TIGER-Lab/MMLU-Pro) w momencie ogłoszenia. Ogłoszenia jakiejkolwiek innej firmy, organizacji lub osoby nie będą się kwalifikować.
Głównym źródłem rozstrzygnięć dla tego rynku będą oficjalne informacje z kwalifikujących się laboratoriów AI i/lub ich oficjalnych przedstawicieli; jednakże można również zastosować konsensus w sprawie wiarygodnej sprawozdawczości.
„Jakie problemy matematyczne rozwiąże sztuczna inteligencja w 2026 roku?” 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.