AI가 수학 정리 다 풀어버리는 시대, 인간 수학자의 존재 가치는 무엇인가

요약 수학계의 최고 석학 테렌스 타오(Terence Tao)의 블로그에 케이트 스탠지와 에드문드 해리스가 기고한 글에 따르면, 최근 AI의 발전으로 인해 수학계 내부에서 '인간이 수학을 한다는 것의 의미'에 대한 근본적인 질문과 활발한 논쟁이 벌어지고 있습니다. 과거에는 어려운 정리를 증명하는 것이 인간 수학자의 가장 중요한 성공 척도이자 깊은 이해를 증명하는 수단이었으나, AI가 정리 증명의 희소성을 무너뜨리면서 단순한 검증 가능한 해법 도출을 넘어 '이해'와 '지식의 체화'가 다시 주목받고 있습니다. 실제로 최근 GPT-6 Astra가 3차원 비주기적 모노타일인 'Chair44'를 발견하고 61페이지 분량의 논문을 내놓았으나, 이를 제안한 연구자조차 직관적 기하 논리만 파악했을 뿐 정밀한 수학적 내용을 완전히 소화하지 못해 다른 수학자가 이를 8페이지 분량의 다이어그램 형태로 요약·해석해야 하는 상황이 발생하기도 했습니다. 글쓴이들은 이러한 배경 속에서 단순한 기호적 증명을 넘어선 '수학적 시각화(일러스트레이션)'의 가치를 강조합니다. 19세기 에콜 폴리테크니크의 손 드로잉 전통처럼, 시각적 탐구와 감각을 통한 표현은 이미 알려진 정리를 설명하는 것을 넘어 새로운 구조를 발견하는 핵심 연구 방식이 될 수 있다고 짚었습니다. 동시에 AI를 이용한 이른바 '바이브코딩(vibecoding)'으로 생성된 시각화 역시 알고리즘 자체를 이해하지 못해 지식에서 멀어질 수 있다는 점을 지적하며, 증명이든 시각화든 인간 학술 공동체가 온전히 소화하고 의미를 부여하는 과정이 필수적이라고 설명합니다.