Berapa banyak lagi Masalah Hadiah Milenium yang akan dipecahkan oleh AI pada tahun 2026?
Pasar ini akan diselesaikan sesuai dengan jumlah Masalah Hadiah Milenium berbeda yang memenuhi syarat dan solusinya diumumkan oleh laboratorium AI yang memenuhi syarat paling lambat tanggal 31 Desember 2026, pukul 23.59 ET.
Setiap masalah yang memenuhi syarat dihitung satu kali, terlepas dari berapa banyak laboratorium AI yang memenuhi syarat yang mengumumkan solusinya atau berapa banyak pengumuman yang dibuat.
Masalah yang memenuhi syarat adalah, dalam urutan abjad, Dugaan Birch dan Swinnerton-Dyer, Dugaan Hodge, P versus NP, Hipotesis Riemann, dan masalah keberadaan dan kesenjangan massa Yang-Mills (https://www.claymath.org/millennium-problems/). Pengumuman mengenai keberadaan Navier-Stokes dan masalah kelancaran tidak akan memenuhi syarat.
Pengumuman kualifikasi harus dilakukan oleh laboratorium AI yang memenuhi syarat atau perwakilan resmi dari laboratorium tersebut, dan harus menyatakan bahwa masalahnya telah terpecahkan; pengumuman hasil parsial atau kemajuan menuju solusi tidak akan memenuhi syarat. Pengumuman tersebut harus menyajikan solusi sebagai pekerjaan laboratorium, para peneliti, atau modelnya, sendiri atau bersama-sama dengan peneliti luar. Pengumuman yang hanya memberikan penghargaan atau ucapan selamat kepada peneliti luar, termasuk peneliti yang menggunakan model laboratorium, komputasi, atau kredit penelitian, tidak akan memenuhi syarat. Tidak diperlukan konfirmasi lebih lanjut dari Clay Math Institute atau organisasi lain mana pun.
Lab AI yang memenuhi syarat adalah 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, dan 01.AI, bersama dengan anak perusahaan dan divisi penelitiannya, serta perusahaan lain mana pun dengan model yang terdaftar di papan peringkat MMLU-pro (https://huggingface.co/spaces/TIGER-Lab/MMLU-Pro) pada saat pengumuman. Pengumuman dari perusahaan, organisasi, atau individu lain mana pun tidak akan memenuhi syarat.
Sumber resolusi utama untuk pasar ini adalah informasi resmi dari laboratorium AI yang memenuhi syarat dan/atau perwakilan resmi mereka; namun, konsensus mengenai pelaporan yang kredibel juga dapat digunakan.
“Berapa banyak lagi Masalah Hadiah Milenium yang akan dipecahkan oleh AI pada tahun 2026?” adalah pasar prediksi di Melbo. Harga satu unit mencerminkan probabilitas hasil: pada hasil yang benar setiap unit diselesaikan pada $1, pada hasil yang salah pada $0.