- Akankah Anthropic mengumumkan solusi untuk Millennium Prize pada 31 Desember 2026?10¢10%
- Akankah Anthropic mengumumkan solusi untuk Millennium Prize pada 31 Desember 2027?28¢28%
Recent developments center on intense competition between leading AI labs to tackle the Navier-Stokes Millennium Prize Problem. In early September 2026, OpenAI announced that its internal multi-agent system produced a Lean-formalized proof establishing a singularity in the equations, satisfying key criteria for the $1 million prize. Concurrent work by Anthropic researcher Levent Alpöge alongside mathematician Tristan Buckmaster advanced related forced Euler equations using large language models, including unreleased Claude versions, but stopped short of the full Navier-Stokes resolution. These efforts highlight accelerating AI capabilities in mathematical formalization and proof generation, alongside ongoing scrutiny over verification, priority claims, and model training data. Traders are watching for any follow-up Anthropic announcements or Clay Institute validation that could shift sentiment in this fast-moving domain.
Aturan
Pasar ini akan diselesaikan sebagai "Ya" jika Anthropic, atau perwakilan resmi Anthropic, mengumumkan bahwa Anthropic telah memecahkan salah satu Masalah Milenium yang memenuhi syarat paling lambat pada 23.59 ET pada tanggal yang tercantum 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 menyatakan bahwa solusi itu merupakan hasil karya Anthropic, para penelitinya, atau model-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 Anthropic, 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 Anthropic dan/atau perwakilan resminya; namun, konsensus dari pemberitaan yang kredibel juga dapat digunakan.
Terjemahan mesin. Jika ada perselisihan, teks asli yang berlaku.