SK Telecom colabora con la Universidad Nacional de Seúl y KAIST para reforzar el razonamiento matemático de A.X K2
En breve
SK Telecom dijo el 22 de octubre que colabora con investigadores de la Universidad Nacional de Seúl y de KAIST para reforzar el razonamiento matemático de su propio modelo fundacional de IA, A.X K2. El grupo planea incorporar la experiencia de los matemáticos en el entrenamiento del modelo y luego intentar resolver con él problemas matemáticos difíciles. SK Telecom también planea usar esa capacidad de razonamiento para la IA agéntica.
Leer la noticia completa 3 min de lectura
SK Telecom dijo el 22 de octubre que colabora con investigadores de la Universidad Nacional de Seúl y de KAIST para elevar la capacidad de razonamiento matemático de A.X K2 (에이닷엑스 케이투), su propio modelo fundacional de IA. La empresa explicó que el plan es enseñar al modelo conocimientos matemáticos especializados y luego usarlo en la investigación de problemas matemáticos difíciles. [ 1 , 2 , 3 , 4 ]
SK Telecom celebra una reunión técnica de intercambio en su sede de Euljiro, en Seúl, con profesores e investigadores de la Universidad Nacional de Seúl y de KAIST. Discutirán la investigación sobre problemas matemáticos difíciles con A.X K2 y las formas de mejorar el modelo. Newsis y Asia Economy señalan que entre los asistentes figuran los profesores de ciencias matemáticas de la Universidad Nacional de Seúl Seo Inseok (서인석), Byun Seongsu (변성수) y Hong Youngjoon (홍영준), el profesor de informática de KAIST Park Noseong (박노성) y estudiantes investigadores. [ 1 , 2 , 3 , 4 ]
En matemáticas, Seo Inseok trabaja en teoría de la probabilidad y física estadística. También participan Lee Joonkyung (이준경), de Godeung Gwahagwon (고등과학원), que trabaja en matemática discreta y teoría de grafos, y Kim Sanghyun (김상현), del mismo instituto, que trabaja en topología de baja dimensión y teoría geométrica de grupos, según Newsis, Asia Economy y Seoul Economic Daily. Sobre los modelos de lenguaje de gran tamaño (LLM) y los métodos para usarlos en la investigación matemática, cooperarán Hong, Lee Dabin (이다빈), Oh Byeongkwon (오병권), Byun y Park. [ 1 , 2 , 4 ]
Los investigadores planean reflejar la experiencia de los matemáticos en el entrenamiento del modelo y estudiar cómo usar los LLM en la investigación matemática real. También planean que A.X K2 aprenda con mayor profundidad cada subcampo de las matemáticas, aportando conocimientos y razonamientos que los modelos anteriores no manejaban suficientemente bien. Con el modelo mejorado, planean abordar problemas difíciles en cada campo. [ 1 , 2 , 3 , 4 ]
SK Telecom planea usar la capacidad de razonamiento matemático para mejorar la IA agéntica, con el objetivo de elevar la capacidad de comprobar si cada juicio y el resultado final son válidos cuando una IA planifica y lleva a cabo tareas de varios pasos. Newsis y Seoul Economic Daily relacionaron esto con la investigación sobre automejora recursiva, en la que la IA mejora su propio rendimiento, y señalaron que exige juzgar si los experimentos y los métodos de verificación de la propia IA son matemáticamente válidos. El objetivo a largo plazo de la empresa es una capacidad matemática comparable a la de los principales modelos de IA del mundo y un agente de IA que aprenda lo que necesita y se desarrolle por sí solo. [ 1 , 2 , 4 ]
Newsis y Seoul Economic Daily señalaron que las empresas globales de IA también usan la investigación matemática. Afirmaron que OpenAI dio a conocer el 6 de octubre nuevos resultados de investigación matemática de un modelo de IA interno, y que Anthropic dijo en agosto que su Claude había mejorado un resultado existente relacionado con la hipótesis de Riemann, que los matemáticos revisaron. [ 1 , 4 ]
Kim Taeyoon (김태윤), responsable de los modelos fundacionales de SK Telecom, dijo: «Impulsamos activamente la cooperación entre la industria y la academia en matemáticas para mejorar la capacidad real de resolución de problemas de nuestro propio modelo fundacional.» Añadió que la empresa mejorará su capacidad de IA agéntica mediante investigación conjunta con investigadores especialistas. [ 1 , 2 , 3 ]
Por qué importa
La empresa presenta el proyecto como una forma de mejorar la capacidad de su propio modelo fundacional para resolver problemas reales y de desarrollar IA agéntica. Los documentos no dan todavía resultados, solo planes.
Datos clave
- SK Telecom dijo el 22 de octubre que colabora con investigadores de la Universidad Nacional de Seúl y de KAIST en su modelo fundacional A.X K2. [ 1 , 2 , 3 , 4 ]
- SK Telecom celebra una reunión técnica de intercambio en su sede de Euljiro, en Seúl, para debatir la investigación sobre problemas matemáticos difíciles con A.X K2 y las formas de mejorar el modelo. [ 1 , 2 , 3 , 4 ]
- Los investigadores planean reflejar la experiencia de los matemáticos en el entrenamiento del modelo y estudiar métodos para usar modelos de lenguaje de gran tamaño en la investigación matemática real. [ 1 , 2 , 3 ]
- El objetivo es cubrir conocimientos especializados y razonamientos que los modelos anteriores no manejaban suficientemente bien, y después abordar problemas difíciles en cada campo de las matemáticas. [ 1 , 2 , 3 , 4 ]
- SK Telecom planea usar la capacidad de razonamiento matemático para mejorar la IA agéntica. [ 1 , 2 , 4 ]
- Kim Taeyoon (김태윤), responsable de los modelos fundacionales de SK Telecom, dijo que la empresa impulsa activamente la cooperación entre la industria y la academia en matemáticas. [ 1 , 2 , 3 ]
Confirmado por varias fuentes
- SK Telecom dijo que coopera con investigadores de la Universidad Nacional de Seúl y de KAIST para aumentar la capacidad de razonamiento de A.X K2 y abordar problemas matemáticos difíciles. [ 1 , 2 , 3 , 4 ]
- La reunión se celebró el 22 de octubre en la sede de SK Telecom en Euljiro, Seúl. [ 1 , 2 , 3 , 4 ]
- Los investigadores planean reflejar la experiencia de los matemáticos en el entrenamiento del modelo y estudiar cómo pueden usarse los modelos de lenguaje de gran tamaño en la investigación matemática real. [ 1 , 2 , 3 , 4 ]
Aún sin aclarar
- Qué problemas matemáticos concretos intentará resolver el proyecto. Los documentos hablan solo de problemas difíciles en cada campo y no citan ninguno.
- Calendario y resultados esperados del proyecto. Ningún documento ofrece un calendario, objetivos o resultados.
- Vínculo con la investigación sobre la automejora recursiva. Solo dos de los cuatro medios describen este vínculo, como objetivo de la capacidad de razonamiento y verificación.