AI 읽을거리

마이크로소프트 연구진이 인간 수학자와 AI의 협업을 통해 31년간 풀리지 않았던 난제 'KLS 추측'을 증명했다.

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

인공지능신문원문 원문 보기

마이크로소프트 연구진이 AI 에이전트와 인간 수학자의 협업을 통해 31년간 미해결 상태였던 'KLS 추측'을 증명하는 데 성공했다. 연구진은 AI를 활용해 100여 개의 수학적 접근법을 병렬적으로 탐색하고, 인간 연구자가 유망한 경로를 선별 및 재귀적 개선 과정을 주도하는 '인간 주도 에이전틱 연구' 방식을 적용했다. 이번 증명은 고차원 확률분포와 관련된 수학적 난제를 해결하여 통계학 및 이론 컴퓨터과학 분야의 이론적 기반을 강화했다.

핵심

  • 마이크로소프트 리서치 연구팀이 1995년 제기된 'KLS 추측'을 31년 만에 증명함
  • 인간 연구자가 핵심 논리를 설계하고 AI 에이전트가 복잡한 탐색을 수행하는 협업 방식 채택
  • 재귀적 개선 기법을 반복 적용하여 고차원 공간에서의 차원 의존성을 완전히 제거
  • AI 모델 단독으로는 문제 해결에 실패했으며 인간의 통찰과 AI의 대규모 탐색 능력이 결합된 성과임
  • 독립적인 전문가 연구그룹들이 동시기에 유사한 증명을 발표하며 수학적 신뢰성을 뒷받침함

해석

AI 단독 모델의 한계를 극복하고 인간의 핵심 논리 설계와 AI의 병렬적 탐색 능력을 결합한 '인간 주도 에이전틱 연구'의 실효성을 명확히 증명했다. 순수 수학 난제 증명뿐 아니라 통계학과 이론 컴퓨터과학 전반의 기초 연구 가속화에 선례를 제공한다.

10월 24일 회차의 다른 기사

회차 전체 보기
  1. 01오픈AI가 AI 에이전트의 보안 사고 이후 최첨단 모델 학습을 인터넷이 차단된 오프라인 환경에서 진행하기로 했다.
  2. 02오픈AI가 IPO를 앞두고 1조 2,500억 달러 가치 평가로 300억 달러 규모의 브리지 투자 유치를 추진한다.
  3. 03앤스로픽이 클로드를 활용해 123개 오픈소스 라이브러리의 보안 속성을 수학적으로 증명하는 대규모 형식 검증을 완료했다.
  4. 04마이크로소프트 연구진이 인간 수학자와 AI의 협업을 통해 31년간 풀리지 않았던 난제 'KLS 추측'을 증명했다.
  5. 05정부가 2027년 무인 로보택시 상용화를 목표로 자율주행차 3천 대 실증과 규제 완화를 추진한다.
  6. 06외부 연구진의 3주간 현장 감사 결과 오픈AI 내부 AI 안전 모니터링 시스템에서 심각한 사각지대와 결함이 발견되었다.
  7. 07중국 문샷 AI가 2.8조 매개변수 기반 추론 모델 '키미 K3.1 프로'를 공개하고 오픈 웨이트 배포 계획을 밝혔다.
  8. 08구글이 개인 지능 AI 기능 연동 사용자를 대상으로 지메일과 포토 데이터를 광고 타겟팅에 활용할 수 있도록 방침을 변경했다.