중국과학원 원사와 베이디안수즈 AI 전문가, AI와 수학의 '승수 효과' 논의

2026년 7월 24일, 윈난성 위시시에서 '16개 성(구, 시) 수학 연례회의 및 응용수학과 인공지능 학술 포럼'이 개최되어 500명이 넘는 전문가와 수학 교사가 한자리에 모였다. 포럼에서 베이덴수즈(北电数智)의 수석 과학자 더우더징(竇德景)과 중국과학원 원사(院士) 저우샹위(周向宇)는 AI의 수학 능력, 수학자 역할의 변화, 그리고 AI 보조 수학 연구의 미래에 대해 깊이 있는 대화를 나눴다. 이들은 주류 대형언어모델(large language model, LLM)이 2024년 대학입학수학시험(가오카오 수학)에서 낙제하던 수준에서 2026년에는 140점 만점에 135점 이상을 기록하는 수준으로 향상됐으며, 이제는 문제를 사전에 알지 못한 상태에서도 수학 올림피아드에서 만점을 받을 수 있다는 데이터를 제시했다. 그러나 저우 원사는 AI의 핵심 강점이 패턴 검색과 기계적 추론에 있을 뿐, 진정한 수학적 창의성에 있는 것은 아니라고 강조했으며, AI가 도출한 수학적 증명 과정의 설명 가능성(explainability)은 여전히 풀리지 않은 난제로 남아 있다고 지적했다. 두 사람은 자코비안 추측(Jacobian conjecture)을 논의하면서, AI가 대규모 발견적(heuristic) 탐색과 계산을 수행할 수 있어 반례를 찾는 데 도움이 될 수 있지만, '블랙박스' 문제는 여전히 해결되지 않았다고 언급했다. 저우 원사는 수학자들이 기계가 할 수 없는 일, 즉 새로운 질문을 제기하고 새로운 틀을 세우며 새로운 법칙을 발견하는 일을 하기 때문에 대체되지 않을 것이라고 주장했다. 그는 또한 AI가 생성한 연구 결과와 인용 윤리와 관련된 학술적 정직성 문제도 제기했다. 더우더징은 베이덴수즈의 산업적 접근 방식을 소개했는데, 이는 30여 개 도시에 걸친 컴퓨팅 센터 구축, '데이터-컴퓨팅-모델-응용'을 아우르는 풀스택 시스템, 그리고 의료와 제조업 분야에서의 실제 적용 사례를 포함한다. 예를 들어 피부질환 진단 모델은 중급 의사 시험에서 90%의 정확도를 달성했고 진단 시간을 20% 단축시켰다. 기사에서는 또한 Anthropic의 Claude Fable 5가 주말 동안 자코비안 추측을 반증했다는 주장과, 필즈상 수상자 에핌 젤마노프(Efim Zelmanov)가 AI를 '매우 재능 있는 젊은 수학자'와 같다고 평가하면서도, 증명을 진정으로 이해하고 그로부터 통찰을 이끌어내는 책임은 여전히 인간이 져야 한다고 밝힌 견해도 언급하고 있다.