인간·AI 연구팀, 수십 년 묵은 카오스 난제 증명 보고

중국 수학자들이 1995년 처음 제기된 기스 추측의 3차원 경우에 대해 컴퓨터 검증을 거친 증명을 발표했다. 연구팀은 전문가의 판단과 AI 모델을 결합해 증명 논리를 발전시켰다.

이 추측은 카오스와 기하학을 연결한다. 대체로 특정 유형의 혼돈 운동이 일어나면 그 운동이 발생하는 수학적 공간이 고도로 규칙적인 구조를 가져야 하는지를 묻는다. 이번에 보고된 증명은 추측 전체를 해결한 것이 아니라 3차원 경우를 다룬다.

다완구대학교 쉬디성 교수가 이끄는 연구진은 상하이인공지능연구소의 Shusheng-S2 모델과 협력했다. 모델은 일곱 차례의 추론을 통해 여러 경로를 탐색하고 상세한 논증을 생성했다. 연구진은 유망한 아이디어를 가려내고 막다른 접근법을 배제하며 다음 탐색의 방향을 제시했다.

별도의 베이징대학교 연구팀은 논문의 핵심 정리 네 개를 컴퓨터가 검증할 수 있는 형태로 변환했다. 이 증명들은 수학적 추론을 단계별로 확인하는 시스템인 Lean의 검증을 통과했다. 전문가들은 형식화된 명제들이 논문의 명제와 일치한다는 점도 확인했다.

연구 결과는 arXiv에 사전 공개 논문으로 게시됐으며, 검증 코드도 공개돼 다른 연구자들이 내용을 살펴볼 수 있다.