- Akankah sebuah laboratorium AI mengumumkan solusi lain untuk Masalah Milenium sebelum 31 Desember 2026?20¢20%
- Akankah sebuah laboratorium AI mengumumkan solusi lain untuk Masalah Milenium sebelum 31 Desember 2027?64¢64%
OpenAI’s September 2026 announcement that an internal swarm of roughly 10,000 AI agents solved a version of the Navier-Stokes Millennium Prize Problem in 88 hours, followed by Lean formalization, has sharply raised trader expectations for further breakthroughs. The result, which addressed a permitted formulation involving smooth external forcing, drew immediate scrutiny from mathematicians and overlapped with concurrent human-AI work by researchers linked to Anthropic. Subsequent OpenAI releases of hundreds of additional mathematical manuscripts, some touching other Millennium Problems, plus a Chinese lab’s claim on the Ghys conjecture, underscore accelerating capability across frontier labs. Ongoing peer review, potential model releases, and competitive pressure from Anthropic and Google DeepMind remain key swing factors for any near-term second announcement.
Aturan
Pasar ini akan diselesaikan sebagai "Ya" jika laboratorium AI yang memenuhi syarat, atau perwakilan resmi dari laboratorium AI yang memenuhi syarat, mengumumkan bahwa laboratorium tersebut telah memecahkan salah satu Masalah Hadiah Milenium yang memenuhi syarat sebelum 23.59 ET pada tanggal yang disebutkan dalam judul. Jika tidak, pasar ini akan diselesaikan dengan hasil "Tidak". Masalah yang memenuhi syarat adalah Hipotesis Riemann, P versus NP, masalah keberadaan Yang-Mills dan celah massa, Konjektur Hodge, serta Konjektur Birch dan Swinnerton-Dyer (https://www.claymath.org/millennium-problems/). Pengumuman mengenai masalah keberadaan dan kehalusan Navier-Stokes tidak akan memenuhi syarat. Pengumuman yang memenuhi syarat harus menyatakan bahwa masalah tersebut telah dipecahkan; pengumuman tentang hasil parsial atau kemajuan menuju solusi tidak akan 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.