Mistral Large 4 Bergabung dengan Open Math OS — dan Bagian Terbukanya Disertai Daftar Tunggu

Pada 3 November 2026, Mistral Large 4 menjadi model terbaru di Open Math OS, ruang kerja bersama SAIR Foundation tempat para matematikawan dan agen AI mengerjakan proyek yang sama. Pengumumannya berupa pos singkat, bukan halaman peluncuran: bobot terbuka 1,05T, jendela konteks 1M, aktif hari itu untuk tim yang disetujui. Klausa terakhir itulah yang perlu direnungkan. Open Math OS dibangun hanya di atas model terbuka justru agar komunitas matematika dapat memeriksa dan menjalankan apa yang menjadi andalannya, dan tambahan terbaru tetap datang di balik antrean persetujuan. Begitu pula tiga model yang sudah ada dalam daftar — DeepSeek V4.1 Flash, Kimi K3, dan GLM-5.3-Flash.

Apa yang sebenarnya dikatakan Mistral, dan apa yang dihilangkannya

Pos ini membawa dua klaim teknis dan satu istilah akses. Klaim tersebut — 1,05 triliun total parameter dan jendela konteks satu juta token — cocok dengan checkpoint yang diterbitkan Mistral pada 29 Oktober, jadi itu bukan aritmetika pemasaran. Istilah aksesnya adalah "approved teams," tanpa penjelasan tentang apa yang dibutuhkan untuk persetujuan, berapa lama prosesnya, atau apakah seorang peneliti individu dapat masuk tanpa tim.

Apa yang tidak dimuat dalam postingan itu sama informatifnya. Tidak ada tolok ukur matematika. Tidak ada pernyataan bahwa Mistral Large 4 dievaluasi pada pembuktian Lean, pada formalisasi, atau pada tugas apa pun yang menjadi tujuan dibangunnya Open Math OS. Tidak ada catatan apakah model tersebut mendapat akses alat yang sama dengan para pemain mapan — shell, alat PDF, pemeriksa Lean, server MCP — atau kumpulan yang dikurangi. Dan tidak ada harga, yang konsisten dengan ruang kerja yang berjalan pada komputasi sumbangan alih-alih token bermeter.

Semua itu bukan kritik terhadap model. Itu adalah gambaran tentang seberapa banyak yang masih belum diketahui tentang pasangan tersebut, enam hari setelah bobot itu tiba.

Open Math OS adalah ruang kerja, bukan model

Perbedaan itu penting karena namanya terdengar seperti salah satunya. Open Math OS adalah inisiatif SAIR Foundation, yang diluncurkan secara soft launch pada 16 Oktober 2026, dan Terence Tao — salah satu pendiri SAIR — menyebutnya sebagai layanan terhosting dengan “layanan dan antarmuka web yang mirip dengan model AI terdepan” alih-alih sesuatu yang Anda pasang. Runtime open-source-nya, Open Math Harness, ditulis dalam Rust dan terstruktur sebagai mikrokernel berbasis kapabilitas: setiap program, termasuk agen, berjalan sebagai proses yang dibatasi, dan prinsip desain yang dinyatakan adalah “agen mengusulkan, matematikawan memutuskan.”

Di sekitar kernel itu terdapat hal-hal yang menjadikannya ruang kerja, bukan sekadar jendela obrolan. Akun tim, tempat para anggota dapat melihat prompt satu sama lain. Memori proyek yang persisten. Mode eksplorasi paralel bernama Ultramath yang menjalankan beberapa agen terhadap masalah yang sama secara bersamaan. Pencarian bukti terverifikasi Lean. Dukungan untuk server MCP dan plugin yang dibuat sendiri oleh pengguna. SAIR memberikan akun gratis kepada pemohon akademik dan menjalankan semuanya dengan komputasi sumbangan, itulah sebabnya batas akun dan penyesuaian alokasi secara eksplisit menjadi opsi yang dipertimbangkan.

Roster model yang diluncurkan bersamanya sepenuhnya terdiri atas model open-weight Tiongkok. Itulah celah yang diisi Mistral Large 4: ini adalah model pertama di Open Math OS dari lab Eropa, dan yang pertama dengan narasi penerapan kedaulatan Prancis di belakangnya. Bagi sebuah foundation yang menawarkan kontrol komunitas atas data, adanya opsi non-Tiongkok dan non-Amerika merupakan tambahan nyata, bukan sekadar centang kotak.

Pertanyaan lisensi yang tidak ditanyakan siapa pun di thread itu

Mistral Large 4 bukan Apache 2.0, dan itu merupakan perubahan dari pendahulunya. Bobotnya dirilis di bawah Mistral Ecosystem Open-Weight License, lisensi MIT yang dimodifikasi yang mengizinkan penggunaan, modifikasi, fine-tuning, dan komersialisasi — dengan satu pengecualian. Siapa pun yang menawarkan model tersebut sebagai model-as-a-service harus memperoleh lisensi komersial terpisah dari Mistral.

Open Math OS adalah layanan terkelola yang memungkinkan tim memanggil model melalui antarmuka web. Apakah pengaturan itu merupakan "model-as-a-service" dalam pengertian lisensi, atau termasuk dalam pengecualian untuk produk akhir pengguna yang tertanam, atau masuk ke dalam pengecualian sempit untuk sekadar meneruskan permintaan ke model yang dihosting di tempat lain, merupakan pertanyaan hukum yang belum dibahas SAIR secara publik. Mistral juga belum mengatakan apa pun. Sangat mungkin — bahkan kemungkinan besar — ada perjanjian komersial di balik pengumuman tersebut yang belum dijelaskan oleh kedua belah pihak. Namun, pembaca yang melihat "open weights" dan menganggap pertanyaan hosting sudah selesai harus tahu bahwa itu tidak demikian, karena klausul yang sama akan berlaku bagi setiap lab yang ingin membangun ruang kerja bersama pada model ini.

Mengapa jendela 1M lebih dari sekadar baris lembar spesifikasi di sini

Jendela konteks biasanya dijual berdasarkan volume dokumen, dan satu juta token terdengar seperti lemari arsip. Di ruang kerja matematika formal, versi yang berguna berbeda. Sebuah proyek mengakumulasi file Lean, impornya, status pembuktian, diskusi seputar taktik yang gagal, dan riwayat sesi agen itu sendiri. Semua itu harus berada dalam bingkai yang sama agar agen dapat melakukan apa pun selain menebak. Utas yang bertahan lintas hari adalah inti dari ruang kerja bersama; jendela yang memotongnya mengubah setiap sesi menjadi cold start.

Itu adalah argumen mengapa Mistral Large 4 cocok dengan desain, bukan bukti bahwa model itu berkinerja. Keduanya mudah dikacaukan pada pekan peluncuran, dan unggahan Mistral tidak membantu — unggahan itu mencantumkan jendela sebagai angka utama di samping jumlah parameter, yang merupakan tata bahasa lembar spesifikasi, bukan evaluasi.

Apa yang diperoleh tim yang disetujui, dan apa yang masih belum dinyatakan

• Evaluasi — tidak ada hasil matematika yang dipublikasikan untuk Mistral Large 4 di Open Math OS; model-model peluncuran dalam daftar tersebut digambarkan oleh Tao sebagai tertinggal sekitar satu tahun dari frontier dan baik dalam formalisasi Lean berukuran sedang, yang merupakan klaim kemampuan, bukan skor.

• Kesetaraan perkakas — tidak disebutkan apakah model baru mendapatkan Ultramath, pencarian bukti, dan rangkaian alat ilmiah lengkap, atau hanya subset terbatas selama masih dinilai.

• Batas — tidak ada batas laju, kuota, atau batas konteks yang dipublikasikan di dalam ruang kerja, di mana jendela 1M dapat dipangkas oleh platform terlepas dari apa yang didukung model.

• Kebijakan data — Tao menulis pada Oktober bahwa SAIR ingin "{{1}}mengumpulkan sejumlah data penggunaan terlebih dahulu sebelum menyelesaikan kebijakan kami.{{/1}}" Itu pernyataan yang jujur, dan juga alasan untuk membaca ketentuan saat ini sebelum menempatkan bukti yang belum diterbitkan ke dalam sebuah proyek.

{{1}}Pemilihan — tidak ada penjelasan tentang bagaimana sebuah tim memilih model per proyek, apakah pilihan itu per obrolan atau per proyek, atau apakah SAIR merutekan di antara keduanya secara otomatis.{{/1}}

Polanya konsisten: pengumuman tersebut menggambarkan sebuah model yang ditambahkan ke jajaran produk, bukan kemampuan yang didemonstrasikan. Jika Anda sedang memutuskan apakah akan mendaftar, itulah kondisi bukti yang jujur.

Jika yang Anda inginkan adalah modelnya, bukan workspace-nya

Open Math OS adalah bagian menarik dari kisah ini, tetapi bukan satu-satunya cara untuk menjangkau model-model yang dijalankannya. GLM-5.3-Flash ada dalam katalog OrcaRouter dengan harga daftar penyedia, begitu pula Kimi K3 — dua dari tiga model yang diluncurkan bersama ruang kerja, dapat dipanggil dari satu API bersama lebih dari 200 model lainnya, dengan failover otomatis antarpenyedia dan markup 0% pada tarif penyedia itu sendiri. DSL routing akan menyusunnya menjadi satu panggilan jika Anda menginginkan panel alih-alih satu jawaban, yang merupakan perkiraan kasar dari apa yang dilakukan Ultramath di dalam ruang kerja tanpa pemeriksa Lean yang terpasang.

Mistral Large 4 tidak ada di katalog kami, dan kami tidak akan berpura-pura sebaliknya. Jika Anda secara khusus menginginkan model itu, jalur yang tersedia saat ini adalah API milik Mistral sendiri, checkpoint open-weight di Hugging Face, atau mitra hosting pihak ketiga dari vendor tersebut. Trade-off-nya nyata: ruang kerja memberi Anda proyek bersama, alat-alatnya, dan pemeriksaan bukti; API hanya memberi Anda modelnya saja, dengan harga yang bisa Anda ukur.

Tontonan Berikutnya

Tiga hal akan mengubah ini dari pembaruan daftar menjadi hasil. Evaluasi per model di dalam Open Math OS — bahkan yang kecil, sekumpulan formalisasi Lean yang dinilai dengan cara yang sama untuk keempat model — akan menjadi bukti publik pertama tentang model mana yang sebaiknya dipilih seorang matematikawan untuk pekerjaan apa. Kebijakan akses yang dipublikasikan akan menyelesaikan ketegangan antara "terbuka" dan "disetujui". Dan pernyataan dari SAIR atau Mistral tentang bagaimana pengaturan hosting tersebut dipandang terhadap klausul model-as-a-service akan memberi tahu setiap lab lain apakah mereka dapat membangun hal yang sama.

Sampai saat itu, ringkasan yang akurat masih sempit: model open-weight berparameter satu triliun dengan jendela 1M kini menjadi salah satu opsi di ruang kerja riset yang, menurut deskripsi pendirinya sendiri, masih merupakan versi yang sangat awal.