- OpenAI vs. Anthropic: Siapa yang lebih dulu menemukan solusi untuk Masalah Milenium lainnya?54¢54%
OpenAI’s September 2026 resolution of the Navier-Stokes existence and smoothness problem—one of the remaining Millennium Prize Problems—using an internal model coordinating roughly 10,000 AI agents over days, followed by its October release of 722 papers advancing hundreds of open mathematical questions, has anchored trader sentiment at 62.5% implied probability. These results, verified in Lean and targeting singularities plus variants of the Riemann hypothesis, demonstrate scaled reasoning capabilities that outpace prior benchmarks. Anthropic contributed concurrent progress on related fluid-dynamics problems via employee collaborations and has advanced Riemann zeta bounds and quantum-circuit design with Claude, yet lacks equivalent verified Millennium-scale claims. Key near-term catalysts include independent scrutiny of OpenAI’s proofs and any parallel pushes on unsolved problems such as Yang-Mills.
Aturan
Pasar ini akan diselesaikan dengan hasil "OpenAI" jika OpenAI, atau perwakilan resmi OpenAI, mengumumkan bahwa OpenAI telah memecahkan Masalah Hadiah Milenium yang memenuhi syarat sebelum Anthropic melakukannya dan paling lambat pada 31 Desember 2027, 23.59 ET. Pasar ini akan diselesaikan dengan hasil "Anthropic" jika Anthropic, atau perwakilan resmi Anthropic, mengumumkan bahwa Anthropic telah memecahkan Masalah Hadiah Milenium yang memenuhi syarat sebelum OpenAI melakukannya dan paling lambat pada 31 Desember 2027, 23.59 ET. Jika tidak satu pun perusahaan membuat pengumuman yang memenuhi syarat paling lambat 31 Desember 2027, 23.59 ET, atau jika keduanya membuat pengumuman yang memenuhi syarat pada hari kalender yang sama, pasar ini akan diselesaikan 50-50. Pengumuman yang memenuhi syarat dari perusahaan lain tidak akan mengakhiri perlombaan atau memengaruhi penyelesaian. 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 karya perusahaan, penelitinya, atau modelnya, baik secara mandiri maupun bersama peneliti eksternal. Pengumuman yang hanya memberikan penghargaan atau ucapan selamat kepada peneliti eksternal, termasuk peneliti yang menggunakan model, komputasi, atau kredit riset perusahaan, tidak akan memenuhi syarat. Konfirmasi lebih lanjut dari Clay Math Institute atau organisasi lain tidak diperlukan. Sumber utama penyelesaian pasar ini adalah informasi resmi dari OpenAI dan Anthropic dan/atau perwakilan resmi mereka; namun, konsensus dari pemberitaan yang kredibel juga dapat digunakan.
Terjemahan mesin. Jika ada perselisihan, teks asli yang berlaku.