내가 필즈상 수상자들의 서한에 서명하지 않은 이유

필즈상 수상자 25명이 AI의 빠른 문제 풀이가 수학의 토대를 해칠 수 있다고 경고했지만, 같은 수상자로서 위기에는 동의해도 그 원인과 대응에는 다른 판단을 내림 수학에는 개념을 이해하려고 문제를 푸는 사람도, 문제를 풀려고 개념을 이해하는 사람도 있으며, 이해만을 최우선 목표로 삼을 필요는 없음 AI가 결과를 쏟아내면 소화하지 못하는 수학이 늘겠지만, 인간이 제대로 이해하는 중요한 수학도 더 많아질 수 있음 더 큰 위험은 결과를 이해할 능력보다 수학을 이어갈 사람과 제도가 사라지는 것임. 난제를 풀겠다는 동기가 약해지면 박사과정 진학과 연구비 지원도 위축될 수 있음 AI 기업의 문제 풀이 속도를 비판하기보다, 다음 세대가 수학을 할 이유와 인간 전문가의 가치를 새롭게 마련하고 대학원 교육을 바꾸는 일이 시급함 풀지 못한 문제에서도 배우는 수학 약 11세 때 페르마의 마지막 정리를 접한 뒤 증명을 시도했지만 실패했고, 그 과정에서 많은 것을 배웠음 Euler가 200여 년 전에 증명한 경우라는 사실을 모른 채 세제곱부터 접근했고, 연속된 세제곱 수의 차이를 살펴봄 차이 수열에 다시 차이를 취하다 등차수열을 발견했고, 거듭제곱 수열에 차이를 반복 적용하면 결국 상수 수열에 도달하는 규칙을 경험적으로 알아냄 반세기 전의 희미한 기억을 재구성한 일화이므로 세부 경위는 확실하지 않음 이 탐구 덕분에 훗날 차이 수열과 다항식을 배울 때 훨씬 깊이 이해할 수 있었음. 문제를 해결하지 못해도 생각하는 과정에서 배운다는 점에는 필즈상 수상자 25명이 서명한 서한과 동의함 서명하지 않은 것은 반대 진영에 서려는 선택이 아님. 수학계의 분열을 피하고 싶으며, 위기에 직면했다는 데 동의하지만 위기의 성격을 다르게 봄 Leiden Declaration 때와 마찬가지로 별도의 글을 통해 입장을 정리함 비슷한 생각을 이미 내놓은 수학자들이 있으므로 분석의 독창성을 전적으로 내세우지는 않음 OpenAI와의 관계, 자동 정리 증명 연구 OpenAI 수학 그룹과 교류하고 일부 모델을 대체로 출시 며칠 전에 사용했으며, 출시 후 Pro 모델 무료 접근권도 받았지만 금전적 보수는 받은 적이 없음 Cambridge에서 진행하는 자동 정리 증명 연구는 인간이 흥미로운 정리를 증명하는 방식을 이해해 컴퓨터에 적용하려는 접근이었음 LLM이 그 연구에서 얻은 통찰 없이도 흥미로운 정리를 증명할 수 있게 되면서 연구 동기 하나가 사라짐 이런 가능성은 예상...