- Apakah Hodge Conjecture akan menjadi Millennium Prize Problem berikutnya yang diselesaikan oleh AI?37¢37%
- Apakah tidak ada Millennium Prize Problem yang akan diselesaikan oleh AI hingga 31 Desember 2027?35¢35%
- Akankah Konjektur Birch and Swinnerton-Dyer menjadi Masalah Milenium berikutnya yang dipecahkan oleh AI?17¢17%
- Apakah masalah keberadaan dan celah massa Yang-Mills akan menjadi Masalah Milenium berikutnya yang dipecahkan oleh AI?10¢10%
- Akankah P versus NP menjadi Masalah Milenium berikutnya yang dipecahkan oleh AI?2¢2%
- Apakah Riemann Hypothesis akan menjadi Millennium Prize Problem berikutnya yang diselesaikan oleh AI?2¢2%
Recent OpenAI advances, including its September 2026 Navier-Stokes resolution via 10,000 AI agents and October release of hundreds of model-generated proofs, have elevated the Hodge Conjecture and Birch and Swinnerton-Dyer as leading contenders in trader consensus. These partial results on algebraic geometry and elliptic curves demonstrate rapid gains in large language model reasoning and multi-agent proof search, yet full verification in Lean and community acceptance remain uncertain amid ongoing scrutiny. This dynamic keeps the no-solution-by-end-2027 outcome closely competitive at 34.5 percent, with P versus NP and Riemann Hypothesis trailing due to greater perceived complexity. Upcoming catalysts include further formalizations and Clay Institute reviews that could shift market-implied odds.
Aturan
Pasar ini akan diselesaikan berdasarkan Millennium Prize Problem pertama yang memenuhi syarat dan solusinya diumumkan oleh laboratorium AI yang memenuhi syarat paling lambat pada 31 Desember 2027, 23.59 ET. Jika tidak ada laboratorium AI yang memenuhi syarat mengumumkan solusi untuk masalah yang memenuhi syarat paling lambat pada 31 Desember 2027, 23.59 ET, pasar ini akan diselesaikan dengan hasil "Tidak ada solusi hingga 31 Desember 2027". Jika solusi untuk dua atau lebih masalah yang memenuhi syarat diumumkan pada hari kalender yang sama (ET), pasar ini akan diselesaikan berdasarkan masalah yang namanya, sebagaimana tercantum di bawah, muncul lebih dahulu menurut urutan alfabet. Masalah yang memenuhi syarat, dalam urutan alfabetis, adalah Konjektur Birch dan Swinnerton-Dyer, Hodge Conjecture, P versus NP, Hipotesis Riemann, serta masalah keberadaan Yang-Mills dan celah massa (https://www.claymath.org/millennium-problems/). Pengumuman mengenai masalah keberadaan dan kehalusan Navier-Stokes tidak akan memenuhi syarat. Pengumuman yang memenuhi syarat harus dibuat oleh lab AI yang memenuhi syarat atau perwakilan resmi lab tersebut, dan harus menyatakan bahwa masalah tersebut telah diselesaikan; pengumuman hasil parsial atau kemajuan menuju solusi tidak memenuhi syarat. Pengumuman tersebut harus menyajikan solusi sebagai hasil kerja laboratorium, penelitinya, atau modelnya, baik secara mandiri maupun bersama peneliti eksternal. Pengumuman yang hanya memberikan penghargaan atau ucapan selamat kepada peneliti eksternal tidak akan memenuhi syarat, termasuk peneliti yang menggunakan model, komputasi, atau kredit riset milik laboratorium. Konfirmasi lebih lanjut dari Clay Math Institute atau organisasi lain tidak diperlukan. Laboratorium 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, beserta anak perusahaan dan divisi riset mereka, serta perusahaan lain yang modelnya tercantum di papan peringkat MMLU-pro (https://huggingface.co/spaces/TIGER-Lab/MMLU-Pro) pada saat pengumuman. Pengumuman oleh perusahaan, organisasi, atau individu lain tidak akan memenuhi syarat. Sumber utama untuk penyelesaian pasar ini adalah informasi resmi dari laboratorium AI yang memenuhi syarat dan/atau perwakilan resmi mereka; namun, konsensus dari pemberitaan yang kredibel juga dapat digunakan.
Terjemahan mesin. Jika ada perselisihan, teks asli yang berlaku.