Masalah Hadiah Milenium manakah yang selanjutnya akan dipecahkan oleh AI?

Pasar ini akan terselesaikan sesuai dengan Masalah Hadiah Milenium pertama yang memenuhi syarat, dan laboratorium AI yang memenuhi syarat akan mengumumkan solusinya paling lambat tanggal 31 Desember 2027, pukul 23.59 ET.

Jika tidak ada lab AI yang memenuhi syarat yang mengumumkan solusi untuk masalah kualifikasi pada tanggal 31 Desember 2027, pukul 23.59 ET, pasar ini akan menetapkan "Tidak ada solusi pada tanggal 31 Desember 2027". Jika solusi untuk dua atau lebih masalah kualifikasi diumumkan pada hari kalender yang sama (ET), pasar ini akan menyelesaikan masalah yang namanya, seperti tercantum di bawah, muncul pertama dalam urutan abjad.

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.