SK Telecom (SKT) se asocia con investigadores nacionales de matemáticas e inteligencia artificial (IA) para fortalecer las capacidades de razonamiento matemático de su modelo de IA fundacional propio, "A.X K2".
SKT anunció que el 22 de octubre celebrará un intercambio tecnológico en su sede en Eulji-ro, Jung-gu, Seúl, con académicos e investigadores de la Universidad Nacional de Seúl y KAIST para analizar investigaciones sobre problemas matemáticos complejos utilizando A.X K2 y estrategias de optimización del modelo.
En este proyecto participan destacados investigadores nacionales en matemáticas e IA. En el área de matemáticas colaboran el profesor Seo In-seok del Departamento de Ciencias Matemáticas de la Universidad Nacional de Seúl, especializado en teoría de probabilidades y física estadística; el profesor Lee Jun-kyung del Departamento de Ciencias Computacionales del Instituto de Ciencia Avanzada, experto en matemática discreta y teoría de grafos; y el profesor Kim Sang-hyun del Departamento de Matemáticas del Instituto de Ciencia Avanzada, especializado en topología de baja dimensión y teoría geométrica de grupos.
También se investigarán conjuntamente metodologías para aplicar modelos de lenguaje grandes (LLM) en investigación matemática. El profesor Hong Young-jun del Departamento de Ciencias Matemáticas y del Programa Interdisciplinario de IA de la Universidad Nacional de Seúl, junto con los profesores Lee Da-bin, Oh Byung-gwon y Byun Sung-su del Departamento de Ciencias Matemáticas de la Universidad Nacional de Seúl, y el profesor Park No-seong de la Facultad de Ciencias de la Computación de KAIST, buscarán formas de incorporar el conocimiento especializado de matemáticos en el aprendizaje del modelo.
El equipo de investigación planea complementar el modelo A.X K2 con conocimientos especializados y capacidades de razonamiento en áreas matemáticas específicas que los modelos de IA existentes no han aprendido suficientemente. Posteriormente, validarán el potencial para resolver problemas complejos aplicando el modelo mejorado a investigaciones matemáticas en diversos campos.
SKT también aprovechará las capacidades de razonamiento matemático y verificación adquiridas a través de la colaboración académica-industrial para mejorar su IA agentic. El objetivo es que la IA elabore planes de solución para problemas complejos y verifique de forma autónoma la validez de sus decisiones y resultados durante el proceso de ejecución de múltiples etapas.
A largo plazo, SKT ampliará el alcance de su investigación hacia la "mejora recursiva autónoma (RSI)", donde la IA mejora sus propias capacidades y las aplica en etapas posteriores de desarrollo.
Kim Tae-yoon, responsable del modelo fundacional de SKT, declaró: "A través de investigaciones conjuntas con expertos especializados, mejoraremos nuestras capacidades en IA agentic".
Por otra parte, SKT alcanzó el primer lugar en la evaluación de tercera fase de su modelo de IA fundacional propio.
* Este artículo ha sido traducido por IA.