수학계에서 31년간 미해결 문제였던 KLS 추측이 증명됨: 고차원 기하학과 랜덤 알고리즘 이론에 근본적 돌파가 이루어짐
마이크로소프트 연구소의 연구원 장신즈와 공동 연구자들은 2026년 10월 4일에 칸난–로바스–시모노비츠(KLS) 추측에 대한 엄밀한 증명을 완성함으로써, 1995년 제안된 이후 오랫동안 미해결 상태로 남아 있던 핵심 문제를 해결했다. 이 성과는 고차원 로그凹 분포에서 ‘평면 절단 병목’에 관한 차원 독립적인 상수 경계를 확립하여, 랜덤 샘플링, 볼록 최적화 및 이론 컴퓨터 과학 분야에 무조건적인 이론적 토대를 제공하였다.






