SK Telecom ha comunicato nuovi risultati per A.X K2, il proprio modello di intelligenza artificiale da 688 miliardi di parametri, che ha raggiunto prestazioni di livello medaglia d’oro sui problemi delle Olimpiadi Internazionali di Matematica 2026 (IMO 2026) e il primo posto a pari merito nella classifica MathArena AIME 2026 di Hugging Face. Il modello è stato sviluppato rafforzando in particolare le capacità di ragionamento matematico e scientifico, la conoscenza relativa alla Corea e la gestione di processi di ragionamento estesi. A.X K2 rappresenta un’evoluzione rispetto ad A.X K1, modello precedente di SK Telecom da 519 miliardi di parametri.
Nella valutazione basata sui sei problemi dell’IMO 2026, A.X K2 ha ottenuto 29 punti su 42, raggiungendo esattamente la soglia prevista quest’anno per una medaglia d’oro. Il risultato colloca il modello tra i sistemi AI con le migliori capacità di ragionamento matematico sottoposti allo stesso tipo di verifica. Nella stessa edizione, dots-note-3.0 di Xiaohongshu, conosciuta anche come RedNote, ha raggiunto il punteggio pieno di 42 punti. SK Telecom sottolinea inoltre che A.X K2 è al momento l’unico modello sviluppato al di fuori di Stati Uniti e Cina ad avere raggiunto la soglia della medaglia d’oro sui problemi IMO 2026.
Il confronto riguarda anche le prestazioni sulle precedenti prove olimpiche. Nel 2025 Gemini Deep Think di Google DeepMind e un modello di OpenAI avevano raggiunto la soglia della medaglia d’oro, fissata quell’anno a 35 punti. A.X K2, sottoposto successivamente ai problemi dell’IMO 2025, ha ottenuto a sua volta 35 punti su 42, raggiungendo quindi lo stesso livello. Il modello ha inoltre ottenuto il punteggio massimo nella seconda prova delle Korean Mathematical Olympiad 2026 (KMO), mentre il precedente A.X K1 aveva registrato il risultato più elevato tra i modelli AI coreani nella prima prova della stessa competizione.
Un secondo risultato riguarda MathArena AIME 2026, benchmark dedicato alla valutazione del ragionamento matematico avanzato e della capacità di risolvere problemi. A.X K2 ha raggiunto una precisione del 97,1%, ottenendo il primo posto a pari merito nella leaderboard. Lo stesso punteggio è stato registrato da Inkling, modello open-weight da 975 miliardi di parametri sviluppato da Thinking Machines Lab, la startup fondata dall’ex CTO di OpenAI Mira Murati. Alle posizioni successive si trovano Step-3.5-Flash di StepFun, con il 96,67%, e Kimi-K2.6 di Moonshot AI, con il 96,4%.
AIME, acronimo di American Invitational Mathematics Examination, è una prova utilizzata nel percorso di selezione delle competizioni matematiche statunitensi. Il dataset MathArena AIME 2026 utilizza 30 problemi derivati dall’edizione 2026 dell’esame e confronta i modelli sulla correttezza delle risposte finali. La struttura della valutazione rende il benchmark particolarmente adatto a misurare capacità di ragionamento verificabili, perché il risultato dei problemi matematici può essere confrontato con una soluzione determinata anziché essere valutato attraverso criteri prevalentemente qualitativi.
SK Telecom considera il ragionamento matematico una capacità utile anche per valutare competenze che vanno oltre la risoluzione diretta di problemi matematici. L’azienda richiama in questo senso l’International AI Safety Report, secondo il quale il miglioramento di queste capacità può contribuire anche alla verifica di software critico per la sicurezza, alla soluzione di problemi scientifici complessi e allo sviluppo della stessa ricerca sull’intelligenza artificiale. Processi di ragionamento matematico più accurati possono inoltre avere applicazioni in settori nei quali sono necessarie sequenze di calcoli precise e verificabili, tra cui finanza, contabilità, logistica e processi produttivi.
A.X K2 era stato presentato da SK Telecom alla fine di luglio come nuovo foundation model destinato a sostenere applicazioni di intelligenza artificiale sia nei servizi rivolti agli utenti sia nei contesti industriali. L’azienda prevede ora di ampliare i casi d’uso del modello nei settori manifatturiero, difesa e biotecnologie, sviluppando ulteriormente le applicazioni già individuate per il proprio foundation model. Una versione alleggerita di A.X K2 è stata inoltre integrata in A., il servizio AI di SK Telecom rivolto agli utenti finali.
Questo articolo è stato redatto con il supporto di strumenti di intelligenza artificiale (AI)