SK Telecom сотрудничает с Сеульским национальным университетом и KAIST для укрепления математического рассуждения A.X K2
Коротко
SK Telecom сообщила 22 октября, что сотрудничает с исследователями Сеульского национального университета и KAIST, чтобы усилить математическое рассуждение собственной базовой модели ИИ A.X K2. Группа планирует включить опыт математиков в обучение модели, а затем с ее помощью пытаться решать сложные математические задачи. SK Telecom также планирует использовать эту способность к рассуждению для агентного ИИ.
Читать полностью 2 мин чтения
SK Telecom сообщила 22 октября, что сотрудничает с исследователями Сеульского национального университета и KAIST, чтобы повысить математическое рассуждение A.X K2 (에이닷엑스 케이투), собственной базовой модели ИИ компании. Компания заявила, что план состоит в том, чтобы обучить модель специализированным математическим знаниям, а затем использовать ее в исследованиях сложных математических задач. [ 1 , 2 , 3 , 4 ]
В штаб-квартире SK Telecom в Ыльчжиро в Сеуле проходит техническая встреча для обмена опытом с профессорами и исследователями Сеульского национального университета и KAIST. Участники обсудят исследования сложных математических задач с помощью A.X K2 и способы улучшения модели. По сообщениям Newsis и Asia Economy, среди участников профессора математических наук Сеульского национального университета Со Инсок (서인석), Пён Сонсу (변성수) и Хон Ёнджун (홍영준), профессор информатики KAIST Пак Ногсон (박노성), а также студенты-исследователи. [ 1 , 2 , 3 , 4 ]
В математике Со Инсок занимается теорией вероятностей и статистической физикой. Также участвуют Ли Чунгён (이준경) из Godeung Gwahagwon (고등과학원), который работает в дискретной математике и теории графов, и Ким Санхён (김상현) из того же института, который занимается топологией малых размерностей и геометрической теорией групп, по данным Newsis, Asia Economy и Seoul Economic Daily. По большим языковым моделям (LLM) и методам их применения в математических исследованиях будут сотрудничать Хон, Ли Дабин (이다빈), О Пёнгвон (오병권), Пён и Пак. [ 1 , 2 , 4 ]
Исследователи планируют учесть опыт математиков при обучении модели и изучить, как использовать LLM в реальных математических исследованиях. Также они планируют глубже научить A.X K2 каждой подобласти математики, предоставив знания и рассуждения, с которыми предыдущие модели справлялись недостаточно хорошо. С помощью улучшенной модели они намерены браться за сложные задачи в каждой области. [ 1 , 2 , 3 , 4 ]
SK Telecom планирует использовать способность к математическому рассуждению для улучшения агентного ИИ, повышая умение проверять, обоснованы ли каждое суждение и итоговый результат, когда ИИ планирует и выполняет многоэтапную работу. Newsis и Seoul Economic Daily связали это с исследованиями рекурсивного самосовершенствования, при котором ИИ улучшает собственную производительность, и отметили, что для этого нужно судить о математической обоснованности собственных экспериментов ИИ и методов проверки. Долгосрочная цель компании — математические способности, сопоставимые с ведущими мировыми моделями ИИ, и ИИ-агент, который сам определяет, чему ему нужно учиться, и развивается самостоятельно. [ 1 , 2 , 4 ]
Newsis и Seoul Economic Daily отметили, что глобальные компании в области ИИ также используют математические исследования. По их данным, OpenAI 6 октября обнародовала новые математические результаты, полученные внутренней моделью ИИ, а Anthropic в августе заявила, что ее Claude улучшил существующий результат, связанный с гипотезой Римана, который проверили математики. [ 1 , 4 ]
Ким Тэюн (김태윤), возглавляющий направление базовых моделей в SK Telecom, сказал: «Мы активно развиваем сотрудничество науки и промышленности в математике, чтобы повысить реальную способность нашей собственной базовой модели решать задачи». Он добавил, что компания улучшит свои возможности агентного ИИ в рамках совместных исследований со специалистами. [ 1 , 2 , 3 ]
Почему это важно
Компания представляет проект как способ улучшить умение собственной базовой модели решать реальные задачи и создавать агентный ИИ. В документах пока нет результатов, только планы.
Ключевые факты
- SK Telecom сообщила 22 октября, что сотрудничает с исследователями Сеульского национального университета и KAIST над своей базовой моделью A.X K2. [ 1 , 2 , 3 , 4 ]
- В штаб-квартире SK Telecom в Ыльчжиро в Сеуле проходит техническая встреча для обмена опытом, на которой обсуждаются исследования сложных математических задач с использованием A.X K2 и способы улучшения модели. [ 1 , 2 , 3 , 4 ]
- Исследователи планируют учесть опыт математиков при обучении модели и изучить методы применения больших языковых моделей (LLM) в реальных математических исследованиях. [ 1 , 2 , 3 ]
- Цель — охватить специализированные знания и рассуждения, с которыми более ранние модели справлялись недостаточно хорошо, а затем взяться за сложные задачи в каждой области математики. [ 1 , 2 , 3 , 4 ]
- SK Telecom планирует использовать способность к математическому рассуждению для улучшения агентного ИИ. [ 1 , 2 , 4 ]
- Ким Тэюн (김태윤), возглавляющий направление базовых моделей в SK Telecom, сказал, что компания активно развивает сотрудничество науки и промышленности в области математики. [ 1 , 2 , 3 ]
Подтверждено несколькими источниками
- SK Telecom сообщила, что сотрудничает с исследователями Сеульского национального университета и KAIST, чтобы повысить способность A.X K2 к рассуждению и взяться за сложные математические задачи. [ 1 , 2 , 3 , 4 ]
- Встреча прошла 22 октября в штаб-квартире SK Telecom в Ыльчжиро, Сеул. [ 1 , 2 , 3 , 4 ]
- Исследователи планируют учесть опыт математиков при обучении модели и изучить, как большие языковые модели (LLM) могут применяться в реальных математических исследованиях. [ 1 , 2 , 3 , 4 ]
Пока неясно
- Какие конкретные математические задачи проект будет пытаться решать. В документах говорится только о сложных задачах в каждой области, ни одна не названа.
- Сроки и ожидаемые результаты проекта. Ни в одном документе нет графика, целей или результатов.
- Связь с исследованиями рекурсивного самосовершенствования. Только два из четырех изданий описывают эту связь как цель способности к рассуждению и проверке.