Hasil Kompetisi Matematika Internasional (IMO) 2026, edisi ke-67, telah diumumkan; model besar Xiaohongshu dots-note-3.0 memenangkan medali emas dengan skor sempurna, menjawab benar semua enam soal. Ini adalah pertama kalinya model besar Tiongkok memperoleh sertifikasi medali emas resmi IMO, sekaligus menjadi model besar kedua di dunia yang mencapai hasil ini setelah Google Gemini—dan yang pertama dengan skor sempurna, sedangkan Gemini sebelumnya hanya menjawab benar 5 dari 6 soal. IMO dianggap sebagai tolok ukur kemampuan intelektual dan penalaran model besar; peserta harus menulis bukti logis yang lengkap, dengan tingkat kesulitan yang sangat tinggi. Garis medali emas tahun ini berada di angka 29, sementara dots-note-3.0 unggul 13 poin di atas garis tersebut. Para pemenang medali emas CMO ganda menilai solusinya sebagai "benar dan elegan, dengan struktur rapat dan logika alami." Skor sempurna ini membuktikan bahwa Xiaohongshu telah memiliki kemampuan penalaran umum yang dapat dipindahkan, menandai munculnya pemain baru yang patut diperhatikan di bidang model dasar.Penulis artikel, sumber: Xiaohongshu
Hasil Olimpiade Matematika Internasional ke-67 (IMO2026) baru saja diumumkan, di mana model besar Xiaohongshu dots-note-3.0 memenangkan medali emas dengan skor sempurna, menjawab benar semua enam soal. Ini adalah pertama kalinya model besar Tiongkok mendapatkan sertifikasi tingkat medali emas resmi IMO, serta menjadi model besar kedua di dunia yang mencapai hasil ini setelah Google Gemini—dan yang pertama dengan skor sempurna, sedangkan Gemini sebelumnya hanya menjawab benar 5/6 soal.
IMO adalah singkatan dari Olimpiade Matematika Internasional, yang setiap tahun mempertemukan siswa menengah teratas dari seluruh dunia, dengan setengah dari penerima Penghargaan Fields kontemporer seperti Terence Tao berasal dari kompetisi ini. Perlombaan berlangsung selama dua hari, dengan peserta menyelesaikan tiga soal dalam waktu 4,5 jam setiap harinya, mencakup empat bidang: aljabar, kombinatorik, geometri, dan teori bilangan; setiap soal bernilai 7 poin, dengan total maksimum 42 poin. Peserta harus menulis bukti yang logis dan dapat diperiksa langkah demi langkah, yang merupakan tantangan sangat tinggi bagi model besar.

Jalur Gemini Google untuk IMO dapat menjadi acuan: Pada tantangan pertama tahun 2024, hanya memperoleh perak dengan skor 28, dan harus terlebih dahulu menerjemahkan soal ke dalam bahasa formal seperti Lean, dengan sebagian soal memakan waktu beberapa hari; Pada tahun 2025, Gemini Deep Think mampu menyelesaikan bukti secara end-to-end dalam bahasa alami, menyelesaikan 5 soal dalam waktu 4,5 jam dan memperoleh emas. Kompetisi matematika dianggap sebagai tolok ukur kecerdasan dan kemampuan penalaran model besar, sementara IMO memiliki keunggulan unik dibandingkan benchmark biasa—ketidakdiketahuan. Setiap soal dibuat oleh para ahli dan dijaga kerahasiaannya secara ketat, sehingga model tidak dapat dilatih secara spesifik sebelumnya, melainkan harus mengandalkan pemahaman, eksplorasi, dan penalaran ketat secara real-time.
Garis medali emas IMO tahun ini adalah 29 poin, turun 6 poin dari 35 poin tahun lalu, menunjukkan bahwa tingkat kesulitan soal tahun ini jauh lebih tinggi dibandingkan tahun lalu. Dengan 29 poin, peserta perlu menyelesaikan sepenuhnya 4 soal dan mendapatkan 1 poin dari 2 soal tersisa untuk masuk ke kategori medali emas, sementara model besar Xiaohongshu dots-note-3.0 menjawab semua soal dengan benar, tetapi masih selisih 13 poin dari garis medali emas.
Skor sempurna pertama-tama membuktikan stabilitas sistem penalaran Agentic. Model harus mampu memahami kondisi bahasa alami, menilai informasi kunci, menghasilkan kesimpulan sementara, dan menyusunnya menjadi bukti lengkap; setiap kesalahan dalam memahami kondisi atau lompatan logis akan langsung diidentifikasi oleh reviewer. dots-note-3.0 memperoleh skor sempurna secara konsisten pada keenam jenis pertanyaan berbeda, yang berarti kinerjanya tidak bergantung pada inspirasi kebetulan pada satu soal tertentu. Kedua, model secara langsung menangani seluruh proses secara end-to-end dalam bahasa alami, memiliki siklus lengkap dari pemahaman soal hingga ekspresi jawaban, menunjukkan bahwa model memiliki kemampuan penalaran umum yang dapat dipindahkan.

Dalam proses menjawab secara spesifik, dots-note-3.0 menggunakan pendekatan agen, menggabungkan bahasa alami dan eksekusi kode Python untuk penalaran pemecahan masalah, serta memanfaatkan kemampuan kritis diri rekursif untuk meninjau argumennya sendiri. Yang benar-benar mengejutkan adalah soal ketiga—sebuah masalah teori permainan kombinatorial. Pendekatan umum adalah mengubah masalah asli menjadi masalah keterhubungan teori graf sebelum membangun bukti, tetapi dots-note-3.0 beralih menggunakan induksi, menangkap struktur paling mendasar dari masalah tersebut, dan merancang objek serta proposisi induksi yang tepat.
Liu Hanzuo, peraih medali emas CMO, menilainya "benar dan indah, strukturnya padat, logikanya alami, bahkan jika ditempatkan dalam solusi IMO, ia termasuk salah satu yang paling sederhana dan elegan." Wang Qiantong, peraih medali emas CMO, berpendapat bahwa solusi ini "ringkas dan jelas, langsung menyentuh inti masalah, setiap langkahnya logis, tetapi sulit bagi peserta manusia untuk memikirkan pendekatan dari sudut ini."
Bagi Xiaohongshu, skor sempurna di IMO merupakan penampilan teknis yang penting. Sebelumnya, pemahaman luar tentang teknologi mereka terfokus pada komunitas konten, algoritma rekomendasi, dan pemahaman konten, sementara posisi mereka di bidang model dasar belum pernah dibuktikan secara resmi dan terbuka. Skor sempurna di IMO berbeda—skor 42 itu ada di sana, tanpa perlu penjelasan rumit, cukup membuktikan bahwa Xiaohongshu telah memiliki kemampuan model dasar yang patut ditinjau serius oleh industri, dan muncul pemain baru yang patut diperhatikan di bidang model dasar. Diketahui, dots-note-3.0 akan segera di-open source.
