OpenAI가 722개의 수학 논문을 공개하며 학계에 일으킨 파장

오늘날 수학계에는 전례 없는 대지진이 발생했습니다. 인류 순수 지성의 마지막 성역인 상아탑이 컴퓨팅 파워의 홍수에 직면해 있습니다.

필즈상 수상자인 타오제쉔(陶哲轩)은 개인 블로그를 통해 인간 수학 협회(AHM)가 발표한 공동 반대 성명을 공유했습니다.
발단은 OpenAI가 예고 없이 전 세계에 722개의 수학 논문을 쏟아낸 것입니다. 이들은 마치 인류 역사상 미해결 상태였던 최고 수준의 수학 난제들을 직접 해결했다고 주장하며, Lean 형식화 코드베이스를 첨부했습니다.

그러나 전 세계 최고의 학자들로 구성된 수학 협회는 환호하기는커녕 오히려 집단적인 보이콧을 시작했으며, 성명서의 문구는 극도로 차갑고 적대적이었습니다:
'한 번에 700편이 넘는 논문을 학계에 쏟아내는 것은 학문적 기여가 아닙니다. 이것은 기업이 자신의 힘을 과시하기 위해 벌이는 노골적인 권력 과시입니다.'

수학자들을 완전히 격분시킨 핵심 모순은 두 가지 매우 논쟁적인 차원에 정확히 걸쳐 있습니다:

첫째, 이는 인간 학술 공동체에 대한 서비스 거부 공격(Academic DoS)입니다. 기업들은 상업적 가치 평가와 기술적 분위기 조성을 위해 블랙박스 컴퓨팅 파워를 이용해 하루 만에 수백 년간의 난제들을 쏟아내지만, 전 세계 보수를 받지 못하는 전문 수학자들에게 무료 인력 검토 시스템(인간 심사 기계) 역할을 맡기고 있습니다.

둘째, 그리고 가장 치명적인 철학적 질문입니다: 만약 어떤 답이 인류 사회에서 가장 똑똑한 두뇌조차 이해할 수 없다면, 그것을 진리라고 할 수 있을까요?
수학의 발전은 특정 추상 정리 생산 할당량을 채우기 위한 것이 결코 아니었습니다.
콜모고로프(Kolmogorov)나 뫼비우스(Poincaré)가 평생 동안 깊이 생각했던 수학적 직관이 GPU 어레이의 폭력적인 추론에 몇 시간 만에 휩쓸려 사라질 때;
증명 과정이 기계적으로 검증을 통과했지만 인간 누구도 읽어낼 수 없는 기하학적 직관으로 이루어진 형식화된 코드의 나열로 변할 때,
수학은 정말 발전하는 것일까요, 아니면 인류가 진리를 탐구해 온 의미 자체가 박탈되는 것일까요?

하지만 수학의 영혼은 결코 차가운 답만으로 이루어져 있지 않습니다.
그것은 원인에서 결과로 나아가는 탐구 과정 속에서, 하나의 오래된 난제를 해결하기 위해 새로운 세계관을 제시하는 창조력에 있습니다.

정리 증명이 저렴해지는 자동화 공장이 생겨날 때, 인간 수학자들이 진정으로 지켜야 할 것은 바로 우리가 우주를 이해하려는 존엄성입니다.