
Pasar ini akan menjawab "Ya" jika lab AI yang memenuhi syarat mengumumkan solusi terhadap masalah yang disebutkan dalam judul paling lambat tanggal 31 Desember 2026, pukul 23.59 ET. Jika tidak, pasar ini akan menjawab "Tidak".
Pengumuman kualifikasi harus dilakukan oleh lab AI yang memenuhi syarat atau perwakilan resmi lab tersebut, dan harus menyatakan bahwa masalah yang ditentukan dalam judul 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 Mathematics 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.
“Masalah matematika apa yang akan dipecahkan 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.