서구 학계의 회의론 확산 속…중국, 대규모 'AI 수학 연합' 출범

순수 과학 분야에 인공지능(AI)을 접목하는 문제를 두고 서구 수학계와 중국 간의 뚜렷한 입장차가 드러나고 있다. 저명한 서구 학자들은 연구 자동화에 대해 경고의 목소리를 높이고 있는 반면, 중국 학술 기관들은 수학적 발견의 중심에 AI를 두기 위해 공격적인 결집에 나섰다.

중국, '야우 연구소 연합' 공식 출범

베이징에서 필즈상(Fields Medal) 수상자인 싱퉁 야우(Shing-Tung Yau)와 저명한 중국 수학자 연합이 '수학 및 인공지능을 위한 야우 연구소 연합(Yau Laboratory Alliance for Mathematics and Artificial Intelligence)'을 설립했다.

사우스차이나모닝포스트(South China Morning Post) 보도에 따르면, 이번 이니셔티브에는 8개 학술 및 연구 기관이 참여한다. 이 야심 찬 프로젝트는 1,000명이 넘는 연구진으로 구성된 협력 네트워크 구축을 목표로 하고 있다. 다만 이러한 적극적인 추진에도 불구하고 야우는 중국이 이 분야에서 여전히 미국에 뒤처질 위험이 있다고 경고했다.

중국의 로드맵은 실용적이고 체계적인 개발에 초점을 맞추고 있다:

• 고등 수학에 특화된 전용 모델 구축

• 복잡한 연구를 검증하기 위한 기계 검증 가능 증명 엔지니어링

• 결과물을 해석할 수 있도록 보장하는 투명한 AI 추론 프레임워크 개발

서구 학계의 회의론과 보이콧 움직임

중국의 조직적인 행보는 회의론과 반발이 커지고 있는 서구 학계의 반응과 극명한 대조를 이룬다.

테렌스 타오(Terence Tao)와 페터 숄체(Peter Scholze)를 포함한 25명의 필즈상 수상자들은 AI가 생성한 증명에 지나치게 의존할 경우 수학의 본질적인 이해를 훼손할 수 있다는 우려를 표명했다. 비판론자들은 문제 해결을 자동화 시스템에 위임할 경우 연구자들이 온전히 따라가거나 설명할 수 없는 과정에 의존하게 될 위험이 있다고 지적한다.

이러한 마찰은 단순한 철학적 논쟁을 넘어 확산되는 양상이다. 수학계 일각에서는 AI가 생성한 증명에 대한 공식적인 보이콧을 촉구하고 있으며, 학술지 편집자와 심사위원들은 학술 채널로 쏟아져 들어오는 막대한 양의 자동화 논문 제출에 경각심을 표하고 있다.

통찰을 위한 도구인가, 단순 연산(Brute Force)인가?

논쟁의 핵심에는 AI가 수학에 실질적으로 무엇을 기여하는가에 대한 근본적인 질문이 자리 잡고 있다. 연산 도구를 적극적으로 활용하는 전문가들 사이에서도 AI가 진정한 개념적 통찰을 제공할 수 있는지, 아니면 단순히 알려진 패턴과 기법을 무차별 대입(brute-force)해 해답을 찾아내는 것에 불과한지에 대해서는 명확한 합의가 이루어지지 않았다. 중국이 기술 확장에 대규모 투자를 단행하는 가운데, 이러한 구분이 향후 수학적 발견에 실제로 중요한 문제인지 여부는 여전히 논쟁거리로 남아 있다.