Lab AI mengumumkan solusi Hadiah Milenium lainnya oleh...?
Pasar ini akan menjawab "Ya" jika lab AI yang memenuhi syarat, atau perwakilan resmi dari lab AI yang memenuhi syarat, mengumumkan bahwa lab tersebut telah menyelesaikan Masalah Hadiah Milenium yang memenuhi syarat paling lambat pukul 23:59 ET pada tanggal yang ditentukan dalam judul. Jika tidak, pasar ini akan menjawab "Tidak".
Masalah yang memenuhi syarat adalah Hipotesis Riemann, P versus NP, masalah keberadaan Yang-Mills dan kesenjangan massa, Dugaan Hodge, dan Dugaan Birch dan Swinnerton-Dyer (https://www.claymath.org/millennium-problems/). Pengumuman mengenai keberadaan Navier-Stokes dan masalah kelancaran tidak akan memenuhi syarat.
Pengumuman kualifikasi harus menyatakan bahwa masalah 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.
“Lab AI mengumumkan solusi Hadiah Milenium lainnya oleh...?” 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.