Ile jeszcze problemów związanych z Nagrodą Milenijną rozwiąże sztuczna inteligencja w 2026 r.?

Rynek ten zostanie rozwiązany w zależności od liczby odrębnych problemów kwalifikujących się do Nagrody Milenijnej, dla których kwalifikujące się laboratorium AI ogłosi rozwiązanie do 31 grudnia 2026 r. do godz. 23:59 czasu wschodniego.

Każdy kwalifikujący się problem jest liczony raz, niezależnie od tego, ile kwalifikujących się laboratoriów AI ogłosiło jego rozwiązanie lub ile ogłoszeń zostało opublikowanych.

Problemy kwalifikacyjne to, w porządku alfabetycznym, hipoteza Bircha i Swinnertona-Dyera, hipoteza Hodge'a, P kontra NP, hipoteza Riemanna oraz problem istnienia Yang-Millsa i luki masowej (https://www.claymath.org/millennium-problems/). Ogłoszenia dotyczące istnienia Naviera-Stokesa i problemu płynności nie będą się kwalifikować.

Ogłoszenie kwalifikacyjne musi zostać wydane przez kwalifikujące się laboratorium sztucznej inteligencji lub oficjalny przedstawiciel laboratorium i musi zawierać informację, że problem 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 z Clay Math 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.