Perbandingan dengan Pencapaian AI Sebelumnya di IMO

Perbezaan utama:

• 2024: AlphaProof mendapat 28/42 (perak) dan merupakan AI pertama yang membuktikan jawapan dengan pengesahan formal melalui pembantu pembuktian Lean .
• 2025: Kedua-dua Google DeepMind dan OpenAI mencapai tahap emas (35/42) tetapi tiada yang mendapat markah sempurna . Sistem Google mendapat 5 daripada 6 masalah betul.
• 2026: dots-note-3.0 RedNote adalah yang pertama mencapai markah sempurna 42/42 — kali pertama mana-mana AI menyelesaikan semua masalah . Ia melakukannya menggunakan model yang agak ringan . Huawei juga melaporkan markah sempurna dalam kitaran yang sama .

Konteks Kredibiliti dan Pengesahan

Tiada Penyertaan Rasmi IMO untuk AI

Satu kaveat penting: dots-note-3.0 tidak mengambil bahagian dalam pertandingan IMO rasmi bersama 666 peserta manusia . Peraturan Am IMO mengehadkan penyertaan kepada negara yang dijemput dan peserta manusia di bawah umur 20 tahun . Sebaliknya, syarikat teknologi diberikan masalah yang sama selepas peserta manusia selesai menjawab peperiksaan, dan penyelesaian mereka dinilai oleh pengadil IMO .

Kebimbangan 'Tetap dan Tanda Sendiri'

Pada 2025, jawatankuasa IMO tidak menulis peraturan rasmi untuk penyertaan AI, yang membolehkan setiap syarikat menetapkan syarat ujian mereka sendiri — menyebabkan ahli matematik menyatakan bahawa ini membolehkan syarikat "menetapkan dan menandakan kerja rumah mereka sendiri" . Proses tidak rasmi yang sama berlaku pada 2026. Seperti yang dinyatakan oleh satu analisis, dots-note-3.0 "tidak memasuki pertandingan dalam erti kata tradisional" — ia menyelesaikan masalah secara post-hoc di bawah protokol ujian yang ditetapkan oleh syarikat .

Pengesahan Melalui Pengadil IMO

RedNote menyatakan bahawa penyelesaian modelnya telah diserahkan untuk penggredan IMO rasmi dan diberikan markah penuh oleh pengadil yang sama yang menilai peserta manusia . Model Huawei juga disahkan dengan cara yang sama. Ini memberikan lapisan kredibiliti yang bermakna, kerana pengadil adalah bebas dan penyelesaian dinilai berdasarkan rubrik yang sama.

Makna Sebenar Pencapaian Ini

Pencapaian ini tulen dalam erti kata model menghasilkan penyelesaian yang betul dan digred IMO untuk kesemua enam masalah. Tetapi ia bukan pingat emas IMO rasmi — IMO tidak secara rasmi menganugerahkan pingat kepada sistem AI. Perbandingan dengan keputusan AI sebelumnya adalah wajar kerana sistem tersebut juga menyelesaikan masalah yang sama secara post-hoc di bawah keadaan yang serupa, tetapi semua "pingat emas AI IMO" harus difahami sebagai penanda aras tidak rasmi yang dinilai secara retrospektif dan bukannya kemenangan langsung dalam pertandingan langsung. Walau bagaimanapun, keputusan dots-note-3.0 tetap merupakan pencapaian penting sebagai kali pertama mana-mana AI mencapai markah sempurna pada set penuh masalah IMO.

Perbandingan dengan Pencapaian AI Sebelumnya di IMO

Perbezaan utama:

• 2024: AlphaProof mendapat 28/42 (perak) dan merupakan AI pertama yang membuktikan jawapan dengan pengesahan formal melalui pembantu pembuktian Lean .
• 2025: Kedua-dua Google DeepMind dan OpenAI mencapai tahap emas (35/42) tetapi tiada yang mendapat markah sempurna . Sistem Google mendapat 5 daripada 6 masalah betul.
• 2026: dots-note-3.0 RedNote adalah yang pertama mencapai markah sempurna 42/42 — kali pertama mana-mana AI menyelesaikan semua masalah . Ia melakukannya menggunakan model yang agak ringan . Huawei juga melaporkan markah sempurna dalam kitaran yang sama .

Konteks Kredibiliti dan Pengesahan

Tiada Penyertaan Rasmi IMO untuk AI

Satu kaveat penting: dots-note-3.0 tidak mengambil bahagian dalam pertandingan IMO rasmi bersama 666 peserta manusia . Peraturan Am IMO mengehadkan penyertaan kepada negara yang dijemput dan peserta manusia di bawah umur 20 tahun . Sebaliknya, syarikat teknologi diberikan masalah yang sama selepas peserta manusia selesai menjawab peperiksaan, dan penyelesaian mereka dinilai oleh pengadil IMO .

Kebimbangan 'Tetap dan Tanda Sendiri'

Pada 2025, jawatankuasa IMO tidak menulis peraturan rasmi untuk penyertaan AI, yang membolehkan setiap syarikat menetapkan syarat ujian mereka sendiri — menyebabkan ahli matematik menyatakan bahawa ini membolehkan syarikat "menetapkan dan menandakan kerja rumah mereka sendiri" . Proses tidak rasmi yang sama berlaku pada 2026. Seperti yang dinyatakan oleh satu analisis, dots-note-3.0 "tidak memasuki pertandingan dalam erti kata tradisional" — ia menyelesaikan masalah secara post-hoc di bawah protokol ujian yang ditetapkan oleh syarikat .

Pengesahan Melalui Pengadil IMO

RedNote menyatakan bahawa penyelesaian modelnya telah diserahkan untuk penggredan IMO rasmi dan diberikan markah penuh oleh pengadil yang sama yang menilai peserta manusia . Model Huawei juga disahkan dengan cara yang sama. Ini memberikan lapisan kredibiliti yang bermakna, kerana pengadil adalah bebas dan penyelesaian dinilai berdasarkan rubrik yang sama.

Makna Sebenar Pencapaian Ini

Pencapaian ini tulen dalam erti kata model menghasilkan penyelesaian yang betul dan digred IMO untuk kesemua enam masalah. Tetapi ia bukan pingat emas IMO rasmi — IMO tidak secara rasmi menganugerahkan pingat kepada sistem AI. Perbandingan dengan keputusan AI sebelumnya adalah wajar kerana sistem tersebut juga menyelesaikan masalah yang sama secara post-hoc di bawah keadaan yang serupa, tetapi semua "pingat emas AI IMO" harus difahami sebagai penanda aras tidak rasmi yang dinilai secara retrospektif dan bukannya kemenangan langsung dalam pertandingan langsung. Walau bagaimanapun, keputusan dots-note-3.0 tetap merupakan pencapaian penting sebagai kali pertama mana-mana AI mencapai markah sempurna pada set penuh masalah IMO.