Jakie problemy matematyczne rozwiąże sztuczna inteligencja w 2026 roku?

Jakie problemy matematyczne rozwiąże sztuczna inteligencja w 2026 roku?

$62K wolumen·до 1 sty 2027
WYNIKIPRAWDOPODOBIEŃSTWO · CENA
Hipoteza Riemanna$6K wolumen0123456789%
CenaUdziałyRazem
P kontra NP$2K wolumen0123456789%
Yang-Millsa$1K wolumen0123456789%
Hipoteza Hodge’a$17K wolumen01234567890123456789%
Birch i Swinnerton-Dyer$13K wolumen01234567890123456789%+1 p.p.
Hipoteza Collatza$2K wolumen0123456789%
Mocna hipoteza Goldbacha$3K wolumen0123456789%
Hipoteza bliźniaczej liczby pierwszej$971 wolumen0123456789%
Nieparzysta liczba doskonała$2K wolumen0123456789%
Hipoteza Legendre’a$1K wolumen0123456789%
Problem Hadwigera-Nelsona$3K wolumen01234567890123456789%
Hipoteza macierzy Hadamarda$5K wolumen01234567890123456789%
Hipoteza Beala$3K wolumen01234567890123456789%
Liczba Ramseya R(5,5)$1K wolumen01234567890123456789%

Rynek ten potwierdzi odpowiedź „Tak”, jeśli kwalifikujące się laboratorium sztucznej inteligencji ogłosi rozwiązanie problemu określonego w tytule do 31 grudnia 2026 r. do godziny 23:59 czasu wschodniego. W przeciwnym razie rynek ten zdecyduje się na „Nie”.

Ogłoszenie kwalifikacyjne musi zostać wydane przez kwalifikujące się laboratorium AI lub oficjalnego przedstawiciela laboratorium i musi zawierać informację, że problem określony w tytule 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 od Clay Mathematics 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.

✓Rynek otwarty do handlu
Proponowany wynik
Ostateczna weryfikacja
Pytania i odpowiedzi

„Jakie problemy matematyczne rozwiąże sztuczna inteligencja w 2026 roku?” to rynek prognoz na Melbo. Cena udziału odzwierciedla prawdopodobieństwo wyniku: przy prawidłowym wyniku każdy udział jest rozliczany po $1, przy błędnym po $0.

Jakie problemy matematyczne rozwiąże sztuczna inteligencja w 2026 roku? · Melbo