SK Telecom mise sur des mathématiciens coréens pour doper A.X K2
L'opérateur sud-coréen associe des chercheurs de SNU et du KIAS au renforcement du raisonnement mathématique de son modèle maison, avant de viser l'IA agentique.
SK Telecom a annoncé le 22 octobre 2026 qu'il collaborait avec des chercheurs sud-coréens en mathématiques et en IA pour renforcer les capacités de raisonnement mathématique de A.X K2, son modèle de fondation interne, selon aitimes.com.
Parmi les mathématiciens associés au projet figurent des enseignants-chercheurs du Département de sciences mathématiques de l'Université nationale de Séoul et de l'École de mathématiques du KIAS, ainsi que des spécialistes de mathématiques discrètes et de topologie de l'Institut des sciences mathématiques coréen (KIAS). Des professeurs de l'Université nationale de Séoul et du KAIST apportent également leur expertise sur les méthodologies d'IA.
SK Telecom indique vouloir réinvestir les capacités de raisonnement ainsi acquises dans l'IA agentique, et prévoit d'étendre ces travaux à la recherche sur l'auto-amélioration récursive (RSI).
Le responsable de la division des modèles de fondation de SK Telecom a déclaré que l'entreprise poursuivait cette coopération académique en mathématiques afin d'améliorer la résolution de problèmes concrets par son modèle.
Un contexte de course au raisonnement
Récemment, OpenAI a attiré l'attention en résolvant plus de 300 problèmes mathématiques non résolus, notamment en géométrie algébrique et en équations différentielles.
En bref
Qu'est-ce que A.X K2 ?
A.X K2 est le modèle de fondation développé en interne par SK Telecom, dont l'opérateur cherche à renforcer le raisonnement mathématique.
Quels chercheurs participent au projet ?
Des mathématiciens de l'Université nationale de Séoul et du KIAS, ainsi que des professeurs de l'Université nationale de Séoul et du KAIST spécialisés dans les méthodologies d'IA.