Który problem Nagrody Milenijnej rozwiąże sztuczna inteligencja jako następny?

Rynek ten zostanie rozwiązany zgodnie z pierwszym kwalifikującym się problemem do Nagrody Milenijnej, dla którego kwalifikujące się laboratorium AI ogłosi rozwiązanie do 31 grudnia 2027 r. do godziny 23:59 czasu wschodniego.

Jeśli żadne kwalifikujące się laboratorium AI nie ogłosi rozwiązania kwalifikującego się problemu do 31 grudnia 2027 r., godz. 23:59 ET, na rynku zostanie wyświetlona informacja „Brak rozwiązania do 31 grudnia 2027 r.”. Jeżeli rozwiązania dwóch lub więcej kwalifikujących się problemów zostaną ogłoszone tego samego dnia kalendarzowego (ET), na tym rynku zostanie rozwiązany problem, którego nazwa, jak podano poniżej, znajduje się na pierwszym miejscu w kolejności alfabetycznej.

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.