"인간도 모르는 AI 증명 안 돼"… 수학계, AI 기업에 가이드라인 제시

요약 수학계와 AI 연구소 간의 새로운 긴장 관계를 보여주는 가이드라인이 공개되었습니다. 최근 첨단 AI 연구소들이 외부 과학계에는 공개되지 않는 폐쇄형 독점 모델을 활용해 고난도 수학 문제를 풀고 결과를 도출하는 사례가 늘고 있습니다. 이에 대해 수학계에서는 연구를 진행한 당사자조차 AI가 내놓은 증명 과정을 완전히 이해하거나 검증하지 못한 채 결과만 발표하는 현상이 전통적인 학문적 신뢰를 훼손할 수 있다는 우려를 제기해 왔습니다. 수학계 설문조사에 참여한 600명 이상의 연구자 의견을 바탕으로 마련된 이번 권고안은, AI가 도출한 수학적 성과를 발표할 때 지켜야 할 원칙을 담고 있습니다. 권고안에 따르면 연구진이 내용을 완벽히 이해하는 논문은 기존처럼 프리프린트 등록, 피어 리뷰, 학술 세미나 등 전통적인 학계 절차를 거치면 됩니다. 하지만 프롬프트를 입력한 사람조차 증명 과정을 이해하지 못하는 AI 생성 수학의 경우, AI 연구소가 직접 책임지고 인간 수학자들이 이해할 수 있는 환경과 재정적 지원을 제공해야 한다고 명시했습니다. 구체적으로 1단계 초기 발표 과정에서 AI 연구소는 모델을 활용해 증명 과정과 관련된 기존 문헌을 철저히 찾아 인용 표기를 해야 하며, 기존 수학 논문 관례에 맞는 명확한 서론과 정밀한 정리, 증명 형태로 논문을 다듬어 공개해야 합니다. 또한 AI 기업이 통제하지 않는 독립적인 공개 학술 저장소에 식별자를 부여해 등록하고 수정 내역을 투명하게 기록하도록 요구했습니다. 무엇보다 수학적 이해의 발전은 AI 기업 주도가 아닌 독립적인 수학 커뮤니티 중심으로 이루어져야 함을 강조하고 있습니다.