Laboratorium AI ogłasza kolejne rozwiązanie objęte Nagrodą Milenijną autorstwa...?

Rynek ten potwierdzi odpowiedź „Tak”, jeśli kwalifikujące się laboratorium AI lub oficjalny przedstawiciel kwalifikującego się laboratorium AI ogłosi, że laboratorium rozwiązało którykolwiek z kwalifikujących się problemów do Nagrody Milenijnej do godziny 23:59 czasu wschodniego w dniu określonym w tytule. W przeciwnym razie rynek ten zdecyduje się na „Nie”.

Problemy kwalifikacyjne to hipoteza Riemanna, P kontra NP, problem istnienia Yang-Millsa i przerwy masowej, hipoteza Hodge'a oraz hipoteza Bircha i Swinnertona-Dyera (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 kwalifikujące musi stwierdzać, ż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.