67. Uluslararası Matematik Olimpiyatı IMO 2026 sonuçları açıklandı; Xiaohongshu'nun büyük modeli dots-note-3.0, altı soruyu tamamen doğru cevaplayarak altın madalya kazandı. Bu, Çinli büyük modellerin IMO resmi altın sertifikasını kazanmasının ilk kez olmasıdır ve Google Gemini'den sonra bu başarıya ulaşan ikinci büyük modeldir—ve tam puanla. Google daha önce altı sorudan beşini doğru cevaplamıştı. IMO, büyük modellerin zekâ ve muhakeme yeteneklerinin ölçütü olarak kabul edilir; katılımcılar, mantıksal olarak tam kanıtlar yazmak zorundadır ve bu çok zordur. Bu yılın altın madalya sınırı 29 puandı; dots-note-3.0, altın madalya sınırından 13 puan önde kaldı. İki CMO altın madalyalısı, çözümünün "doğru ve zarif, yapısal olarak sıkı ve mantıksal olarak doğal" olduğunu değerlendirdi. Bu tam puan, Xiaohongshu'nun taşınabilir genel muhakeme yeteneğine sahip olduğunu kanıtlıyor ve temel model alanında dikkat edilmesi gereken yeni bir oyuncu ortaya çıktı.Yazar ve kaynak: Xiaohongshu
67. Uluslararası Matematik Olimpiyatları (IMO2026) sonuçları yakın zamanda açıklandı; Xiaohongshu'nun büyük modeli dots-note-3.0, altı soruyu da doğru cevaplayarak tam puanla altın madalya kazandı. Bu, Çinli büyük modellerin IMO resmi altın madalya düzeyindeki onayını ilk kez almasıdır ve Google Gemini'den sonra bu başarıya ulaşan ikinci büyük modeldir—ve tam puanla. Google, daha önce altı sorudan beşini doğru cevaplamıştı.
IMO, Uluslararası Matematik Olimpiyatları'nın kısaltmasıdır ve her yıl dünya çapında en iyi ortaöğretim öğrencilerini bir araya getirir;陶哲轩 gibi günümüzün菲尔兹 Ödülü sahiplerinin yarısı bu yarışmadan çıkmıştır. Yarışma iki gün boyunca gerçekleştirilir, her gün 4,5 saat içinde 3 soru çözülür ve cebir, kombinatorik, geometri ve sayılar teorisi olmak üzere dört alana covers; her soru 7 puan değerindedir ve maksimum puan 42'dir. Katılımcılar, mantıksal olarak tamamlanmış ve adım adım incelenebilir kanıtlar yazmak zorundadır; bu, büyük modeller için son derece zordur.
Google Gemini'in IMO yolculuğu referans olarak alınabilir: 2024'teki ilk denemesinde sadece 28 puanla gümüş madalya kazandı ve soruları öncelikle Lean gibi formel dillere çevirmek zorunda kaldı; bazı sorular günlerce sürdü; 2025'te Gemini Deep Think, soruları doğal dilde doğrudan kanıtladı ve 4,5 saat içinde 5 soruyu çözerek altın madalya kazandı. Matematik yarışmaları, büyük modellerin zekâ ve muhakeme yeteneklerinin ölçütü olarak görülürken, IMO'nun geleneksel benchmark'lara kıyasla benzersiz bir avantajı vardır—bilinmezlik. Her yılın soruları uzmanlar tarafından hazırlanır ve sıkı bir şekilde gizli tutulur; model önceden hedefe yönelik eğitim alamaz, sadece gerçek zamanlı anlama, keşif ve titiz muhakemeye dayanır.
Bu yılki IMO altın madalya sınırı 29 puan, geçen yılki 35 puandan 6 puan düşmüştür; tüm soruların puanlama zorluğu açıkça geçen yıla göre daha yüksektir. 29 puan, dört soruyu tamamen çözmek ve kalan iki sorudan 1 puan almak anlamına gelir; ancak Xiaohongshu büyük modeli dots-note-3.0 tüm soruları doğru cevaplamış ve altın madalya sınırıyla arasında tam 13 puan fark vardır.
Mükemmel puan, Agentic akıl yürütme sisteminin kararlılığını ilk olarak kanıtlar. Model, doğal dil koşullarını okumalı, kritik bilgileri değerlendirmeli, ara sonuçlar ortaya koymalı ve bunları tam bir kanıt olarak düzenlemelidir; herhangi bir koşul yanlış anlaşılmışsa veya akıl yürütme adımı atlanmışsa, jüri bunu doğrudan belirtir. dots-note-3.0, altı farklı soru türünde sürekli mükemmel puan almak, performansın bir soruda rastlantısal bir ilhama bağlı olmadığını gösterir. İkinci olarak, model doğrudan doğal dil üzerinden uçtan uca işlem yapar ve soru anlayışından cevap ifadesine kadar tam bir döngüye sahiptir; bu da taşınabilir genel akıl yürütme yeteneğine sahip olduğunu gösterir.
Çözüm sürecinde, dots-note-3.0, doğal dil ve Python kod yürütme ile akıl yürütme yapmak için bir agent yaklaşımı benimser ve kendi argümanlarını incelemek için özyinelemeli kendi eleştiri yeteneğinden yararlanır. Gerçekten şaşırtıcı olan üçüncü soru—bir kombinatoryal oyun problemidir. Yaygın çözüm yöntemi, orijinal problemi graf teorisi bağlantılılık problemine dönüştürerek kanıtlamaktır; ancak dots-note-3.0, tümevarım yöntemini kullanır, sorunun en temel yapısını yakalar ve uygun bir tümevarım nesnesi ve önerme tasarlar.
CMO altın madalyalısı Liu Hanzuo, bunu "doğru ve güzel, yapısal olarak sıkı ve mantıksal olarak doğal; IMO çözümleri arasında da oldukça sade ve zarif bir tür olarak kabul edilebilir" şeklinde değerlendirdi. CMO altın madalyalısı Wang Qiantong, bunun "sade ve açık olup özüne doğrudan dokunan, her adımı mantıklı ancak insan katılımcıların bu açıdan girmeyi düşünmesi zor" olduğunu belirtti.
Xiaohongshu için IMO'da tam puan, önemli bir teknik performanstır. Geçmişte dışarıda teknolojik algısı, içerik topluluğu, öneri algoritmaları ve içerik anlama üzerine odaklanmıştı; temel model alanındaki konumu uzun süre açık ve yetkili bir kanıtla desteklenmemişti. Ancak IMO'da tam puan farklıydı — 42 puan orada duruyordu, karmaşık açıklamalara gerek kalmadan, Xiaohongshu'nun endüstride ciddiye alınmaya değer bir temel model yeteneğine sahip olduğunu kanıtladı ve temel model alanında dikkat edilmesi gereken yeni bir oyuncu ortaya çıktı. dots-note-3.0'ın yakında açık kaynak kodlu hale getirileceği biliniyor.