Microsoft Research, 31년 미해결 KLS 추측 증명 및 코딩 에이전트 비용 25.4% 절감

• Microsoft Research가 고차원 기하학의 31년 미해결 난제인 KLS 추측을 컴퓨터 보조 검증 방식으로 증명한 함
• 1,350만 건의 코딩 세션을 분석한 결과, 8% 미만만 컨텍스트 압축이 필요했으나 해당 세션이 전체 AI 처리 비용의 44%를 차지한 함
• 백그라운드 요약 방식인 APEC를 도입해 코딩 성능을 유지하면서 비용을 최대 25.4%, 실행 시간을 9.6% 절감한 함
• 104개 언어를 대상으로 언어적으로 의미 있는 토큰을 생성하는 Latent Core Tokenizer(LCT)를 개발해 4개 다국어 벤치마크에서 모델 성능을 향상시킨 함

Research Highlights

• KLS 추측 해결로 로그-볼록 분포의 보편 원리를 확립하여 무작위 알고리즘 효율성 이해의 이론적 장벽을 제거한 함
• APEC가 백그라운드에서 요약을 준비해 에이전트 작업을 중단시키지 않으며, 장시간 작업에서 컨텍스트 압축의 자원 집약적 문제를 해결한 함
• LCT가 공유 어휘를 구축하기 전에 재사용 가능한 단어 구성 요소를 식별하여, 압축 효율성과 동등하게 언어 구조 보존이 중요함을 시사한 함