Vilka matematiska problem kommer AI att lösa 2026?

Vilka matematiska problem kommer AI att lösa 2026?

$62K volym·до 1 jan. 2027
UTFALLSANNOLIKHET · PRIS
Riemanns hypotes$6K volym0123456789%
PrisAndelarTotalt
P mot NP$2K volym0123456789%
Yang-Mills$1K volym0123456789%
Hodge gissningar$17K volym01234567890123456789%
Björk och Swinnerton-Dyer$13K volym01234567890123456789%+1 pe
Collatz gissningar$2K volym0123456789%
Stark Goldbach gissning$3K volym0123456789%
Twin Prime gissningar$971 volym0123456789%
Udda perfekt nummer$2K volym0123456789%
Legendres förmodan$1K volym0123456789%
Hadwiger-Nelson problem$3K volym01234567890123456789%
Hadamard matrisförmodan$5K volym01234567890123456789%
Beals förmodan$3K volym01234567890123456789%
Ramsey nummer R(5,5)$1K volym01234567890123456789%

Denna marknad kommer att lösa sig till "Ja" om ett kvalificerat AI-labb tillkännager en lösning på problemet som anges i titeln senast den 31 december 2026, 23:59 ET. Annars kommer denna marknad att lösa sig till "Nej".

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 som anges i titeln 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 Mathematics 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.

✓Marknaden öppen för handel
Föreslaget utfall
Slutlig granskning
Frågor och svar

”Vilka matematiska 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.

Vilka matematiska problem kommer AI att lösa 2026? · Melbo