[イーデイリーKim Hyun-ah 記者] 来年1月まで行われている独自AIファウンデーションモデル（独パモ）の第3次評価を控え、SKTelecom(017670)は韓国の数学・人工知能（AI）研究陣と提携し、独パモ「A.X K2（エイ・ドット・エックス・ケーツー）」の推論能力の強化に乗り出します。

数学の難題の研究を通じて、モデルが専門知識を活用して問題を解き、その解法の妥当性まで検証する能力を高めていくというものです。数学の研究成果をモデルの高度化に反映させ、複雑な業務を遂行するAIエージェントの開発にも活用する計画です。

SKテレコムは22日、ソウル・ウルチロの本社でソウル大学・韓国科学技術院（KAIST）の研究陣と技術交流会を開催し、A.X K2の数学推論性能の改善と難題解決策について議論すると明らかにしました。高等科学院所属の数学者など、国内の専門家たちも共同研究に参加します。

数学の難題を解きながら、ドクパモの推論能力を強化します

今回の研究は、

数学

の問題を解く過程で、ドクパモの推論能力を高めるものです。数学は、複雑な条件を分析し、複数の段階の論理を結びつけて結論を導き出した後、その妥当性を検証しなければならない分野です。研究チームは、数学者の専門知識をモデルの学習に反映させ、実際の難題解決に適用することで、A.X K2の推論能力を引き上げる計画です。

研究には、確率論・統計物理学、離散数学・グラフ理論、位相幾何学・幾何群論などの専門分野の専門家が参加します。ソウル大学とKAISTの研究チームは、大規模言語モデル（LLM）を数学研究に活用する方法についても併せて研究します。

これは、グローバルなAI企業が数学研究を通じてモデルの推論能力を検証し、発展させている潮流とも通じるものです。OpenAIは今月6日、自社のAIモデルが導き出した新たな数学研究成果を公開しました。Anthropicも去る8月、自社のAIモデル「Claude」がリーマン予想に関連する問題において既存の研究成果を改善し、数学者による検証を経たことを発表しました。

AIの競争力が、単なる知識の習得や正解の生成から、複雑な問題を解決し、その結果を検証する能力へと拡大するにつれ、数学研究がモデルの高度化に向けた試金石であり、研究手段として注目されています。

数学的推論能力、AIエージェントの高度化につながる

SKテレコムは、数学研究を通じて強化した推論能力を、AIエージェントの複合業務遂行に活用する方針です。AIが複雑な問題の解決計画を立て、複数の段階にわたる作業を進める際、各段階の判断と結果が妥当であるかを自ら点検する能力を高めていくという構想です。

長期的には、AIが自身の性能を改善し、改善された能力を再び次の段階の発展に活用する「再帰的自己改善（RSI・Recursive Self-Improvement）」の研究基盤も整備する計画です。そのためには、AIが生成した結果だけでなく、自ら設計した実験や検証プロセスの妥当性まで判断できなければなりません。

SKテレコムは、数学分野の専門家たちとの共同研究を通じてA.X K2の推論性能を高め、これをドパモの実質的な問題解決能力とAIエージェントの高度化につなげることを目標としています。

SKテレコムのファウンデーションモデル担当であるキム・テユン氏は、「独自のファウンデーションモデルの実際の問題解決能力を高めるため、数学分野における産学連携を推進している」とし、「専門の研究者たちとの共同研究を通じて、AIエージェントの能力を高度化していく」と述べました。