AI가 논문급 수학 문제도 푸는 시대, 수학자는 앞으로 뭐 해야 할까?

요약 세계적인 수학자 테렌스 타오(Terence Tao)의 블로그에 카네기 멜런 대학교의 수학자 제레미 아비가드(Jeremy Avigad) 교수가 기고한 '수학의 미래'라는 글이 공개되었습니다. 최근 린(Lean) 정리 증명기 관련 미팅에 참석한 아비가드 교수는 수학계가 최근 AI의 발전과 그에 따른 연구 환경의 근본적인 변화를 긍정적으로 받아들이고 있다고 전했습니다. 과거 수학자들의 일상은 난제를 풀고, 풀기 어려우면 단순화한 모델을 만들어 해결하는 방식이었습니다. 하지만 불과 1년 전만 해도 훌륭한 학술 논문감이 되던 결과들이 이제는 AI의 도움으로 손쉽게 생성될 수 있는 수준에 도달하면서 연구 방식에 근본적인 격변이 일어나고 있습니다. 이에 따라 앞으로 수학을 연구한다는 것이 어떤 의미를 갖는지, 다음 세대 수학자들을 어떻게 양성해야 하는지에 대한 고민이 깊어지고 있습니다. 아비가드 교수는 AI가 지치지 않고 방대한 기존 수학 문헌을 바탕으로 여러 기법을 짜깁기해 해답을 찾아내는 데 능숙하다고 분석했습니다. 반면 인간 수학자의 본질은 단순히 문제를 기계적으로 해결하는 것이 아니라, 더 어렵고 근본적인 문제에 도전하고 전체적인 맥락에서 '더 큰 생각'을 하는 데 있다고 강조합니다. 그는 19세기 리만이 완전히 새로운 시각으로 기하학의 기초를 혁신했던 역사를 언급하며, 무엇이 가치 있고 흥미로운 문제인지 스스로 결정하는 주도권이 여전히 인간에게 있음을 역설했습니다.