[E-DailyKim Hyun-ah 记者] 随着自主研发的AI基础模型(独帕莫)第三轮评估将于明年1月结束,SKTelecom(017670)正与韩国国内数学及人工智能(AI)研究团队携手,着手增强独帕莫“A.X K2”的推理能力。
其目标是通过研究数学难题,提升该模型运用专业知识解决问题并验证解法合理性的能力。公司计划将数学研究成果应用于模型的优化,并将其用于开发能够执行复杂任务的AI代理。
SK电讯22日宣布,将在首尔乙支路总部与首尔大学、韩国科学技术院(KAIST)的研究团队举行技术交流会,讨论A.X K2的数学推理性能改进及难题解决方案。高等科学院所属的数学家等韩国国内专家也将参与此次联合研究。
位于首尔中区的SK电信总部。(照片来源:SKT)
参与研究的专家涵盖概率论·统计物理、离散数学·图论、拓扑学·几何群论等细分领域。首尔大学和韩国科学技术院(KAIST)的研究团队还将共同探索如何将大型语言模型(LLM)应用于数学研究。
这与全球AI企业通过数学研究来检验和提升模型推理能力的趋势相契合。OpenAI于本月6日公布了其AI模型得出的新数学研究成果。Anthropic也于今年8月宣布,其AI模型Claude在与黎曼猜想相关的问题上改进了现有研究成果,并已通过数学家的审查。
随着AI的竞争力从单纯的知识获取或生成标准答案,扩展到解决复杂问题并验证结果的能力,数学研究正作为模型升级的试金石和研究手段而备受关注。
SK电讯基础模型负责人金泰允
从长远来看,该公司还计划建立“递归自我改进(RSI·Recursive Self-Improvement)”的研究基础,使AI能够改进自身性能,并将改进后的能力再次用于下一阶段的发展。为此,AI不仅需要能够判断其生成的结果,还需能够评估其自主设计的实验及验证过程的合理性。
SK电讯的目标是通过与数学领域专家的联合研究,提升A.X K2的推理性能,并将其转化为实际问题解决能力以及AI代理的升级。
SK电讯基础模型负责人金泰允表示:“为了提高自主基础模型的实际问题解决能力,我们正在推进数学领域的产学合作”,并称“将通过与专业研究人员的联合研究,进一步提升AI代理的能力”。
其目标是通过研究数学难题,提升该模型运用专业知识解决问题并验证解法合理性的能力。公司计划将数学研究成果应用于模型的优化,并将其用于开发能够执行复杂任务的AI代理。
SK电讯22日宣布,将在首尔乙支路总部与首尔大学、韩国科学技术院(KAIST)的研究团队举行技术交流会,讨论A.X K2的数学推理性能改进及难题解决方案。高等科学院所属的数学家等韩国国内专家也将参与此次联合研究。
通过解决数学难题强化A.X K2的推理能力本次研究旨在
通过解决数学问题来提升
A.X K2的推理能力。数学是一门需要分析复杂条件、连接多阶段逻辑以得出结论,并验证其合理性的学科。研究团队计划将数学家的专业知识融入模型学习,并将其应用于实际难题的解决,从而提升A.X K2的推理能力。
参与研究的专家涵盖概率论·统计物理、离散数学·图论、拓扑学·几何群论等细分领域。首尔大学和韩国科学技术院(KAIST)的研究团队还将共同探索如何将大型语言模型(LLM)应用于数学研究。
这与全球AI企业通过数学研究来检验和提升模型推理能力的趋势相契合。OpenAI于本月6日公布了其AI模型得出的新数学研究成果。Anthropic也于今年8月宣布,其AI模型Claude在与黎曼猜想相关的问题上改进了现有研究成果,并已通过数学家的审查。
随着AI的竞争力从单纯的知识获取或生成标准答案,扩展到解决复杂问题并验证结果的能力,数学研究正作为模型升级的试金石和研究手段而备受关注。
数学推理能力,将推动AI代理的升级SK电信计划将通过数学研究增强的推理能力应用于AI代理的复合任务执行中。其构想是,当AI制定复杂问题的解决计划并进行多阶段操作时,提升其自主检查各阶段判断与结果是否合理的的能力。
从长远来看,该公司还计划建立“递归自我改进(RSI·Recursive Self-Improvement)”的研究基础,使AI能够改进自身性能,并将改进后的能力再次用于下一阶段的发展。为此,AI不仅需要能够判断其生成的结果,还需能够评估其自主设计的实验及验证过程的合理性。
SK电讯的目标是通过与数学领域专家的联合研究,提升A.X K2的推理性能,并将其转化为实际问题解决能力以及AI代理的升级。
SK电讯基础模型负责人金泰允表示:“为了提高自主基础模型的实际问题解决能力,我们正在推进数学领域的产学合作”,并称“将通过与专业研究人员的联合研究,进一步提升AI代理的能力”。