与首尔大学、韩国科学技术院研究人员举行技术交流会
SK电讯22日表示,公司将与韩国数学和人工智能研究人员合作,提升自主研发的人工智能基础模型“A.X K2”的数学推理能力,并尝试利用该模型研究和攻克数学难题。
SK电讯当天上午在首尔乙支路总部与首尔大学、韩国科学技术院的教授及研究人员举行技术交流会,讨论如何利用A.X K2开展数学难题研究以及模型升级方案。首尔大学数学科学系教授Seo Inseok、Byeon Seongsu、Hong Youngjun,韩国科学技术院计算机科学系教授Park Noseong及学生研究人员将出席交流会。除交流会与会者外,韩国数学和人工智能领域的多位顶尖研究人员也将参与此次项目。
数学领域方面,研究概率论和统计物理的首尔大学数学科学系教授Seo Inseok、研究离散数学和图论的高等科学研究院计算科学系教授Lee Junkyung,以及研究低维拓扑学和几何群论的高等科学研究院数学系教授Kim Sanghyeon等,将发挥各自专业领域的研究实力。
在大语言模型及其应用于数学研究的方法论领域,首尔大学数学科学系及人工智能跨学科专业教授Hong Youngjun、首尔大学数学科学系教授Lee Dabin、Oh Byeonggwon、Byeon Seongsu,以及韩国科学技术院计算机科学系教授Park Noseong将开展合作。他们计划共同研究如何将数学家的专业知识融入模型训练,以及如何将大语言模型应用于实际数学研究。
研究人员将携手推动A.X K2深入学习数学各个细分领域的知识,弥补现有模型在专业知识和推理能力方面的不足,并利用升级后的模型尝试攻克各领域的数学难题。
SK电讯将把此次产学合作提升的数学推理能力用于推进代理式人工智能的发展。公司计划提升人工智能在制定复杂问题解决方案并执行多步骤任务时,检验判断过程和结果是否合理的能力。从长远来看,目标是打造可比肩全球顶尖人工智能模型的数学能力,并实现能够学习所需知识、自主进化的人工智能代理。
SK电讯基础模型业务负责人Kim Taeyun表示:“为提升自主基础模型解决实际问题的能力,我们正积极推进数学领域的产学合作。我们将通过与专业研究人员开展联合研究,进一步提升代理式人工智能的能力。”
版权所有 © 阿视亚经济。未经许可不得转载,禁止用于AI训练及使用。