A SK Telecom (SKT), da Coreia do Sul, anunciou uma parceria com pesquisadores da Seoul National University e do KAIST para utilizar a inteligência artificial na resolução de problemas matemáticos complexos. O objetivo é aprimorar o modelo de linguagem de grande porte A.X K2, desenvolvido internamente, por meio de técnicas avançadas de raciocínio e aprendizado baseado em conhecimento especializado em matemática.
Parceria técnica e objetivo de pesquisa
Segundo informado pela Yonhap News, a iniciativa envolve a integraàão de especialistas como o professor de matemática pura da Seoul National University, Suinseok Lee, e o pesquisador do Korean Academy of Science and Technology Institute (KAIST), JunKyung Lee.
O grupo planeja aplicar um framework de raciocínio baseado em conhecimento (CoT) e técnicas de treinamento por reforço para aprimorar a capacidade do modelo A.X K2 em tarefas matemáticas.
A estratégia inclui o uso de dados sintéticos, verificações de resultados com software computacional e treinamento orientado por recompensas para resolver problemas matemáticos complexos.
Ambições e impacto esperado
De acordo com a Chosun Ilbo, a iniciativa visa não apenas melhorar a precisção do modelo em matemática, mas també impulsionar a pesquisa científica em IA no país.
A SKT destacou que o modelo A.X K2, com 32 bilhões de parâmetros, é uma ferramenta-chave para o desenvolvimento de IA autônoma e capaz de raciocinar de forma semelhante a pesquisadores humanos.
O projeto também reflete uma tendência crescente de colaboração entre empresas de tecnologia e instituiíções acadêis na Coreia do Sul para avançar em IA generativa e aplicações especializadas.
O que ainda não foi divulgado
- Detalhes técnicos sobre os datasets sintéticos utilizados
- Timeline para implementação e disponibilidade pública do modelo aprimorado
- Resultados preliminares ou comparativos com outras abordagens internacionais
