AI lab tillkännager ännu en Millennium Prize-lösning av...?
Denna marknad kommer att lösa sig till "Ja" om ett kvalificerat AI-labb, eller en officiell representant för ett kvalificerat AI-labb, meddelar att labbet har löst något av de kvalificerande Millennium-prisproblemen senast kl. 23:59 ET det datum som anges i titeln. Annars kommer denna marknad att lösa sig till "Nej".
De kvalificerande problemen är Riemann-hypotesen, P kontra NP, Yang-Mills existens- och massgapproblem, Hodge-förmodan och Birch och Swinnerton-Dyer-förmodan (https://www.claymath.org/millennium-problems/). Meddelanden om Navier-Stokes existens och problem med jämnhet kommer inte att kvalificera sig.
Ett kvalificerande meddelande ska uttrycka att problemet är löst; 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.
”AI lab tillkännager ännu en Millennium Prize-lösning av...?” ä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.