560포인트 논쟁이 던진 질문
mathandai.org의 선언을 둘러싼 Hacker News 토론은 AI가 수학을 더 빠르게 만드는가라는 질문을 넘어, 무엇을 수학적 기여로 볼 것인가를 건드렸다. 해당 게시물은 560포인트를 얻으며 큰 반응을 모았다. 논쟁의 핵심은 AI가 미해결 문제를 풀 수 있느냐만이 아니라, 그 뒤에 남는 이해와 설명의 역할이 무엇이냐는 데 있었다.
선언이 강조하는 수학의 동력은 정답의 생산에만 있지 않다. 수학자들이 결과를 검토하고, 서로 설명하고, 다음 문제로 확장하는 공동체의 이해와 공유도 성과의 일부라는 문제의식이다. 이 관점에서는 증명이 존재한다는 사실과 그 증명을 수학 공동체가 사용할 수 있다는 사실이 같지 않다.
난해한 증명도 공동체를 움직일 수 있다
tmhn2는 이 전망에 대해 자신은 선언보다 조금 더 낙관적일 수 있다고 말했다. 그는 모치즈키의 abc 추측 관련 사례를 들었다. 모치즈키가 비교적 고립된 상태에서 이해하기 어려운 증명을 공동체에 제시했고, 이후 많은 회의와 논문, 강연, 학생들과의 논의가 이어졌다는 설명이다. 궁극적으로는 그 증명에서 치명적 결함이 발견된 것으로 여겨졌지만, 그 과정 자체는 선언이 말한 공동체 활동을 만들어 냈다.
tmhn2는 이를 AI가 리만 가설의 거대하고 이해하기 어려운 증명을 내놓는 가설적 상황과 비교했다. AI가 리만 가설을 증명했다는 사실은 여기서 확인된 것이 아니라 가정이다. 다만 그런 증명이 형식 검증까지 거쳤다고 가정하면, 공동체는 그것을 검토하는 과정에서 해설 강연을 만들고, 학생들에게 세부 정리와 일반화 문제를 제시할 가능성이 있다. 증명의 난해함이 곧 수학적 활동의 소멸을 뜻하지는 않을 수 있다는 주장이다.
사라지는 것은 이해가 아니라 잣대일 수 있다
jeremysalwen은 논점을 다른 방향으로 정리했다. 그의 견해에 따르면 AI가 무너뜨리는 것은 수학자들이 이해를 개발하고 서로 공유하는 능력이 아니라, 전통적으로 그 기여도를 측정해 온 ‘미해결 문제 해결’이라는 잣대다. 유명한 문제를 먼저 풀었다는 사실은 기여를 비교하는 강력한 기준이었지만, AI가 낮은 난도의 성과부터 빠르게 산출한다면 그 기준은 더 이상 안정적이지 않게 된다.
그는 이미 모델의 능력이 드러난 이상, 사회적 합의만으로 과거의 환경을 되돌리기 어렵다고 봤다. 수학자가 자신의 진전을 공개한 뒤 며칠 안에 다른 사람이 AI를 이용해 앞설 위험을 감수해야 하는 상황은 이전과 다르다. Footnote7341 역시 AI가 유명한 문제를 해결한 뒤에도 수학자들이 그 문제를 연구할 수 있지만, 결과 공개를 막는 방식은 오래 지속되기 어렵다고 주장했다.
공로는 먼저 푼 사람이 독점할 수 있을까
jeremysalwen이 제시한 전망은 두 갈래다. 하나는 수학이 더 비밀스러워지는 것이다. 연구자들이 선점을 피하려고 중간 결과와 아이디어를 공개하지 않는다면 단기적으로 공로를 지킬 수 있지만, 지식의 공유와 진전은 느려질 가능성이 큽니다. 다른 하나는 누가 먼저 답을 냈는지만으로 판단하지 않고, 증명을 설명하고 검토하며 확장한 여러 사람에게 공로를 배분하는 방식이다.
두 번째 방식은 더 협력적일 수 있지만, 공로가 주관적이고 지속적인 논쟁의 대상이 될 가능성도 큽니다. 정답의 소유권에서 이해의 기여도로 기준을 옮기는 일은 합리적으로 들리지만, 실제 평가에서는 설명의 깊이와 검토의 중요성을 어떻게 비교할지 정해야 하기 때문이다. 이 부분은 확인된 결론이 아니라, AI가 연구 관행을 바꿀 경우 예상되는 제도적 문제다.
사진술과 체스가 보여 주는 다른 미래
david-gpu는 AI 논쟁을 19세기 사진술을 둘러싼 샤를 보들레르의 비판과 연결했다. 보들레르는 사진이 이미 존재하는 현실을 기계적으로 기록할 뿐 회화처럼 현실을 변형하지 못한다고 보았고, 기술 진보를 성급하게 환영하는 분위기가 예술을 약화할 수 있다고 비판했다. 이 비유는 AI가 수학적 창조를 대체하는지, 아니면 새로운 형식으로 확장하는지를 묻게 한다.
gwd는 보다 낙관적인 사례로 체스를 들었다. 1990년대에 컴퓨터가 체스를 파괴한다고 말하던 사람들이 있었지만, 이후 체스의 인기는 높아졌고 선수들의 수준도 향상됐으며 체스 서적도 계속 늘었다는 주장이다. 이 반응이 수학의 미래를 증명하는 것은 아니지만, 도구가 인간의 전통적 역할을 줄인다고 해서 분야 전체가 약화된다고 단정할 수는 없다는 비교를 제공한다.
AI가 수학의 미해결 문제를 실제로 어느 범위까지 해결할지는 이 글에서 확인된 사실이 아니다. 그러나 난해한 결과가 등장할 가능성이 커질수록 수학 공동체는 답을 찾는 사람뿐 아니라 답을 검토하고 설명하며 연결하는 사람의 기여도 함께 기록해야 할 가능성이 큽니다. 앞으로의 수학은 정답을 누가 먼저 냈는지와 그 정답을 공동의 이해로 바꾼 사람이 무엇을 했는지를 함께 평가하는 방향으로 이동할 수 있습니다.
