
Denna marknad kommer att lösas enligt antalet distinkta kvalificerande Millennium-prisproblem för vilka ett kvalificerat AI-labb tillkännager en lösning senast den 31 december 2026, 23:59 ET.
Varje kvalificerande problem räknas en gång, oavsett hur många kvalificerade AI-labb som tillkännager en lösning på det eller hur många meddelanden som görs.
De kvalificerande problemen är, i alfabetisk ordning, Birch och Swinnerton-Dyer-förmodan, Hodge-förmodan, P kontra NP, Riemann-hypotesen och Yang-Mills existens- och massgapproblem (https://www.claymath.org/millennium-problems/). Meddelanden om Navier-Stokes existens och problem med jämnhet kommer inte att kvalificera sig.
Ett kvalificerande meddelande måste göras av ett kvalificerat AI-labb eller en officiell representant för labbet, och måste uttrycka att problemet har lösts; meddelanden om delresultat eller framsteg mot en lösning kommer inte att kvalificera sig. Tillkännagivandet ska presentera lösningen som ett arbete av labbet, dess forskare eller dess modeller, ensamt eller tillsammans med externa forskare. Ett meddelande som endast krediterar eller gratulerar utomstående forskare, inklusive forskare som använt labbets modeller, beräkningar eller forskningspoäng, kommer inte att kvalificera sig. Ingen ytterligare bekräftelse från Clay Math Institute eller någon annan organisation krävs.
De kvalificerade AI-labben är Anthropic, Google, SpaceXAI, Alibaba, OpenAI, Baidu, Z.ai, Xiaomi, Moonshot, Meta, Nvidia, DeepSeek, MiniMax, Meituan, Amazon, ByteDance, Mistral, Tencent, StepFun, Microsoft, Harmonic, Axiom Math, Mathligence, Safe Superintel AI, Periodic Thinking Machine, Mathligence, Reflection Machine, Period. Labs, Apple, IBM, Huawei, Samsung, Oracle, Salesforce, Cohere, AI21 Labs, Reka, Sakana AI, Poolside, Magic, Perplexity, Anysphere, Kuaishou, SenseTime, iFlytek, Baichuan och 01.AI, tillsammans med sina dotterbolag och forskningsavdelningar, och alla andra företag som är listade ombord på MMLU-promotorn. (https://huggingface.co/spaces/TIGER-Lab/MMLU-Pro) vid tidpunkten för tillkännagivandet. Meddelanden från något annat företag, organisation eller individ kommer inte att kvalificera sig.
Den primära upplösningskällan för denna marknad kommer att vara officiell information från de kvalificerade AI-labben och/eller deras officiella representanter; Men en konsensus om trovärdig rapportering kan också användas.
”Hur många fler Millennium Prize-problem kommer AI att lösa 2026?” är en prediktionsmarknad på Melbo. Priset på en andel återspeglar sannolikheten för utfallet: vid rätt utfall avräknas varje andel till $1 och vid fel utfall till $0.