마이크로소프트 연구진의 AI 활용 KLS 수학 난제 해결
2026년 10월 22일 · SmartMakers GitStar Radar
1 / 4
마이크로소프트 연구진의 AI 활용 KLS 수학 난제 해결 마이크로소프트 연구진의 AI 기반 31년 수학 난제 해결 마이크로소프트 연구소의 신즈 장 연구원과 공동 연구진이 1995년 제시된 31년 된 수학 난제 KLS 추측을 증명했다고 2026년 10월 21일 밝혔는데요. 연구진은 AI 에이전트와 함께 100개 이상의 접근법을 탐색해 차원 수에 상관없이 성립하는 고정 상수를 도출했습니다. 이번 증명은 고차원 공간을 다루는 무작위 알고리즘과 통계 최적화 탐색 효율을 뒷받침하는 이론적 근거로 쓰이는데요. 연구진의 결과 공개 직후 외부 독립 연구진의 병렬 검증과 린 4 기반의 기계 형식 검증이 함께 발표되었습니다. 고차원 무작위 알고리즘 연구자는 마이크로소프트 연구소의 사전 논문과 형식 검증 명세를 바로 확인할 수 있습니다. 발표일과 원문은 아래 출처에서 확인하세요. 성능 수치는 회사 발표 기준입니다. Microsoft Research · 2026-10-21 https://www.microsoft.com/en-us/research/blog/solving-a-31-year-old-grand-challenge-in-mathematics-the-kls-conjecture