- Apakah OpenAI akan mengumumkan solusi lain untuk Masalah Milenium paling lambat 31 Desember 2026?14¢14%
- Apakah OpenAI akan mengumumkan solusi lain untuk Masalah Milenium paling lambat 31 Desember 2027?56¢56%
OpenAI’s September 8 announcement of an AI-generated solution to the Navier-Stokes Millennium Prize Problem—produced via an internal frontier model and roughly 10,000 agents in 88 hours—has sharply raised trader expectations for further announcements. The company followed with an October 6 release of 722 manuscripts covering hundreds of open problems, including claimed progress toward other Millennium Prize challenges such as aspects of the Riemann hypothesis and Hodge conjecture, though several papers faced withdrawals or revisions after mathematician review. Competitive pressure from labs like Anthropic, combined with OpenAI’s emphasis on Lean formalizations and compute-intensive agent swarms, underscores accelerating capabilities in mathematical reasoning. Key near-term catalysts include ongoing independent verifications, potential additional model releases, and any follow-up company statements on unresolved problems before year-end deadlines.
Aturan
Pasar ini akan diselesaikan sebagai "Ya" jika OpenAI, atau perwakilan resmi OpenAI, mengumumkan bahwa OpenAI telah menyelesaikan salah satu Masalah Hadiah Milenium yang memenuhi syarat antara pembuatan pasar dan tanggal yang ditentukan, 23.59 ET. 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 menyatakan bahwa solusi itu merupakan hasil kerja OpenAI, para penelitinya, atau model-modelnya, baik secara mandiri maupun bersama para peneliti eksternal. Pengumuman yang hanya memberikan penghargaan atau ucapan selamat kepada peneliti eksternal, termasuk peneliti yang menggunakan model, komputasi, atau kredit riset OpenAI, tidak akan memenuhi syarat. Konfirmasi lebih lanjut dari Clay Math Institute atau organisasi lain tidak diperlukan. Sumber utama untuk penyelesaian pasar ini adalah informasi resmi dari OpenAI dan/atau perwakilan resminya; namun, konsensus dari pemberitaan yang kredibel juga dapat digunakan.
Terjemahan mesin. Jika ada perselisihan, teks asli yang berlaku.