Microsoft 연구진은 1995년 제기된 KLS 추측을 인간 수학자와 AI 에이전트의 협업으로 증명했다고 보고했다. 로그 오목 분포의 분할 효율을 차원과 무관한 상수로 제한하는 문제로, 100개 이상의 후보 접근을 탐색한 뒤 인간이 재귀적 개선과 누적 오차 제어를 구성했다. 보도에 따르면 10월 4일 개정판과 독립적인 증명들이 나왔고 Lean 형식화도 뒤따랐다. 같은 토큰 예산으로 인간 개입을 뺀 실험은 최종 증명에 도달하지 못했다. 이는 이론적 연구 진전이며 상용 AI 성능이 즉시 개선됐다는 뜻은 아니다.