SKテレコム（SKT）は、国内の数学・人工知能（AI）研究者と協力し、独自のAIファウンデーションモデル「A.X K2」の数学推論能力を強化する。
SKTは、22日にソウル中区の本社で、ソウル大学・KAISTの教授陣および研究者と技術交流会を開催し、A.X K2を活用した数学難題研究とモデルの高度化について議論すると発表した。
今回のプロジェクトには、数学とAI分野の国内研究者が参加する。数学分野では、確率論・統計物理を研究するソ・インソクソウル大学数理科学部教授、離散数学・グラフ理論を研究するイ・ジュンギョン高等科学院計算科学部教授、低次元トポロジー・幾何学的群論を研究するキム・サンヒョン高等科学院数学部教授などが参加する。
巨大言語モデル（LLM）を数学研究に活用する方法論も共同で研究する。ホン・ヨンジュンソウル大学数理科学部・協同過程AI専攻教授、イ・ダビン、オ・ビョンゴン、ビョン・ソンスソウル大学数理科学部教授、パク・ノソンKAIST計算機学部教授などが、数学者の専門知識をモデル学習に反映させる方法を模索する。
研究者たちは、既存のAIモデルが十分に学習していない数学の細分野の専門知識と推論能力をA.X K2に補完する計画である。その後、高度化したモデルを各分野の数学研究に適用し、難題解決の可能性を検証する。
SKTは、産学連携を通じて確保した数学推論・検証能力をエージェントAIの高度化にも活用する。AIが複雑な問題の解決計画を立て、複数の段階の作業を実行する過程で、判断と結果の妥当性を自ら検証することを目指す。
長期的には、AIが自身の能力を改善し、次の段階の発展に活用する「再帰的自己改善（RSI）」研究に範囲を広げる方針である。
キム・テユンSKTファウンデーションモデル担当は、「専門研究者との共同研究を通じてエージェントAIの能力を高度化する」と述べた。
一方、SKTは独自AIファウンデーションモデルの3段階評価で1位に上がった。
* この記事はAIによって翻訳されました。
