Aturan

Pasar ini akan diselesaikan sebagai "Ya" jika Microsoft merilis penerus MAI-Thinking-1 yang tersedia bagi masyarakat umum sebelum tanggal yang ditentukan (ET). Jika tidak, pasar ini akan diselesaikan dengan hasil "Tidak". "Penerus MAI-Thinking-1" merujuk pada model apa pun yang secara eksplisit ditetapkan oleh Microsoft sebagai bagian dari keluarga model MAI (Microsoft AI) dan sebagai model berpikir atau penalaran, atau diperkenalkan sebagai model penalaran serbaguna Microsoft berikutnya, atau secara luas dianggap sebagai penerus MAI-Thinking-1. Model khusus tugas, varian efisiensi biaya, atau rilis serupa tidak akan dihitung, kecuali jika secara eksplisit ditetapkan sebagai model berpikir atau penalaran atau secara luas dianggap sebagai penerus MAI-Thinking-1. Produk di luar keluarga MAI atau yang tidak ditetapkan sebagai model berpikir atau penalaran TIDAK memenuhi syarat. Agar pasar ini diselesaikan sebagai "Ya", model yang memenuhi syarat harus diluncurkan dan dapat diakses publik, termasuk melalui beta terbuka atau pendaftaran daftar tunggu bergulir yang terbuka. Beta tertutup atau bentuk akses privat apa pun tidak memenuhi persyaratan. Rilis tersebut harus didefinisikan dengan jelas dan diumumkan secara publik oleh Microsoft sebagai tersedia bagi masyarakat umum, atau dengan cara lain dibuat tersedia bagi publik dan secara eksplisit diberi label di situs web resmi perusahaan. Kesalahan pelabelan, teks placeholder, atau nama versi yang ditampilkan di situs web tetapi tidak merujuk pada model yang benar-benar dapat diakses masyarakat umum tidak akan memenuhi syarat. Sumber utama untuk penyelesaian pasar ini adalah informasi resmi dari Microsoft (misalnya, https://microsoft.ai/models), dengan verifikasi tambahan berdasarkan konsensus pemberitaan yang kredibel.

Terjemahan mesin. Jika ada perselisihan, teks asli yang berlaku.