AI와 인간 수학자, 31년간 풀리지 않은 수학 난제 풀었다…MS 연구진, 'KLS 추측' 증명 성공

美 마이크로소프트 연구진이 인공지능(AI) 에이전트와 인간 연구자의 협업을 통해 31년간 풀리지 않았던 수학계의 대표적인 난제 '카난-로바스-시모노비츠 추측(Kannan–Lovász–Simonovits Conjecture, KLS 추측)'을 증명했다.AI가 100여개의 수학적 접근법을 탐색하고 연구자가 유망한 방향을 선택해 증명을 완성한 성과로, 고차원 기하학의 오랜 미해결 문제를 해결하는 동시에 AI 기반 과학 연구의 새로운 가능성을 보여줬다.마이크로소프트 리서치(Microsoft Research)는 21일(현지시간) 자사 머신러

인공지능신문 · 2026. 10. 23. 오전 02:57