수학자이자 작가인 다비드 베시스(David Bessis)가 흥미로운 글을 하나 올렸는데요. 제목이 좀 도발적입니다. "정리 경제(Theorem Economy)의 몰락"이라는 건데, 300년 넘게 이어져 온 수학계의 작동 방식이 AI 때문에 근본적으로 무너지고 있다는 주장이거든요. 수학 이야기지만, 사실 개발자인 우리에게도 남 일이 아닌 이야기라서 소개해 봅니다.
'정리 경제'가 뭐냐면
베시스가 말하는 정리 경제, 이게 뭐냐면 수학계가 돌아가는 일종의 경제 시스템이에요. 이 경제에서 화폐 역할을 하는 게 바로 '증명된 정리'입니다. 누가 어떤 정리를 처음 증명했는지에 따라 논문 실적, 교수 임용, 종신 재직권(테뉴어), 학계의 명성이 전부 결정되거든요. 개발자로 치면 GitHub 잔디나 오픈소스 기여 실적 같은 게 커리어의 화폐가 되는 것과 비슷한 구조죠.
그런데 이 시스템이 성립하려면 한 가지 전제가 필요해요. 바로 증명이 희소해야 한다는 겁니다. 새로운 정리 하나를 증명하려면 수년간의 훈련과 몇 달에서 몇 년의 집중적인 노력, 그리고 희귀한 재능이 필요했기 때문에, 그 희소성이 저널 시스템, 인용 횟수, 우선권 다툼 같은 학계의 모든 제도를 정당화해 왔다는 거예요.
그런데 그 희소성이 사라지고 있어요
문제는 AI 시스템들이 이제 연구 수준의 명제들을 실제로 증명해내기 시작했다는 겁니다. 아직 모든 분야에서 안정적으로 되는 건 아니지만, 방향성은 분명하다는 게 베시스의 진단이에요.
재미있는 건 수학계의 반응 패턴인데요. 딥마인드의 시스템이 국제수학올림피아드(IMO)에서 금메달급 성적을 냈을 때는 "경시대회 수학은 연구가 아니다"라는 반응이 나왔어요. 자동화된 시스템이 조합론이나 해석학 논문의 빈 구멍을 메우기 시작하니까 이번엔 "그건 기술적인 보조정리지, 깊이 있는 결과가 아니다"라고 했고요. 골대가 계속 뒤로 밀리고 있지만, 공이 굴러가는 방향 자체는 바뀌지 않는다는 거죠. 어디서 많이 본 패턴 아닌가요? "AI가 짜는 코드는 토이 프로젝트 수준"이라던 시절에서 지금까지 오는 동안 우리 업계가 겪은 흐름과 정확히 겹칩니다.
가치는 사라지는 게 아니라 이동한다
베시스는 역사적 비유를 들어요. 손으로 짜던 직물, 계산을 직업으로 하던 사람들(컴퓨터라는 단어가 원래 직업명이었죠), 활판 인쇄 조판공. 기계화가 되었을 때 이들의 가치가 균일하게 0이 된 건 아니에요. 수공예 직물은 지금도 존재하니까요. 다만 경제의 무게중심이 다른 곳으로 이동했다는 겁니다.
그럼 수학에서는 어디로 이동하느냐? 베시스의 답은 '증명'과 구분되는 '이해'예요. 원래 이 둘은 다른 것이었는데, 지금까지는 정리를 증명한 사람이 보통 그 정리를 가장 잘 이해하는 사람이기도 했기 때문에 둘을 하나로 뭉뚱그려 왔다는 거죠. AI가 이 둘을 분리시킵니다. 조만간 아무도 이해하지 못하는 증명이 나올 거라는 건데요. 4색 정리처럼 경우의 수가 너무 많아서 못 읽는 수준이 아니라, 증명의 전략 자체가 인간의 사고방식과 완전히 다른, 말 그대로 '외계인 같은' 증명이요.
그래서 앞으로 살아남는 수학자는 그런 낯선 증명에서 이해를 뽑아내는 사람, 올바른 질문을 던지는 사람, 정리들의 전체 계보가 자명해 보이게 만드는 개념적 프레임워크를 짓는 사람이 될 거라고 해요. 반면 대학원에서 훈련시키고 테뉴어로 보상해 온 '증명을 갈아 넣는 기술'은 지금 이 순간에도 실시간으로 범용재가 되고 있다는 거고요.
개발자 버전으로 번역해 보면
이 글을 개발자 언어로 옮기면 이렇게 읽혀요. '동작하는 코드를 짜는 능력'이 우리 업계의 정리 경제였다면, 그 희소성은 이미 무너지는 중이죠. 그렇다면 가치가 이동하는 곳은 어디일까요? 베시스의 논리를 따르면, AI가 짠 코드를 읽고 시스템 수준에서 이해하는 능력, 무엇을 만들어야 하는지 올바른 질문을 정의하는 능력, 그리고 복잡한 문제를 단순하게 만드는 아키텍처 감각이 그 자리에 올 겁니다.
베시스도 이 전환이 비극은 아니라고 봐요. 정리 경제에는 병폐가 많았거든요. 논문 한 편을 여러 편으로 쪼개는 살라미 전술, 우선권 경쟁, 중요한 문제가 아니라 '증명 가능한' 문제만 좇는 하위 분야들. 다만 자신의 정체성을 '증명 기계'에 걸어온 사람들에게는 이 전환이 잔인할 거라는 경고도 잊지 않습니다.
한 줄 정리: 증명(코드)이 흔해지면 가치는 이해와 질문으로 이동한다. 여러분은 어떻게 생각하세요? 우리 업계에서 '증명을 갈아 넣는 기술'에 해당하는 건 뭐고, '이해를 뽑아내는 기술'에 해당하는 건 뭘까요?
🔗 출처: Hacker News