라이덴 선언 (The Leiden Declaration)

AI가 길드(guild)가 해결하지 못하는 문제를 해결할 때, 길드는 그 도구를 채택하는 것이 아니라 그 도구에 자격을 부여합니다. 라이덴 선언 (The Leiden Declaration)은 항의 서한이 아니라 구직 신청서입니다.

13일. 5월 20일, OpenAI는 내부 추론 모델이 1946년 Paul Erdos가 제기한 이산 기하학 (discrete geometry) 분야의 80년 된 난제인 단위 거리 추측 (unit distance conjecture)을 부정했다고 발표했습니다. 이 모델은 정사각형 격자가 본질적으로 최적이라는 오랜 믿음을 깨고, n^(1+0.014)개의 단위 거리 쌍을 생성하는 무한한 구성 가족 (infinite family of constructions)을 찾아냈습니다. Princeton의 Will Sawin이 이 경계값을 공식화했습니다. Noga Alon과 Thomas Bloom을 포함한 9명의 외부 수학자들이 증명을 검증하고 19페이지 분량의 부속 논문을 발표했습니다. Tim Gowers는 이 결과가 Annals 학술지에 실릴 만한 가치가 있다고 평가하며, "어떠한 망설임도 없이" 게재를 추천하겠다고 말했습니다.

6월 2일, 라이덴 선언 (The Leiden Declaration)이 등장했습니다. 2,000명 이상의 수학자들이 서명한 이 선언은 학계가 기업의 AI 연구소와 경쟁력을 유지할 수 있도록 공개 규칙, 동료 검토 (peer-review) 표준, 그리고 공공 자금 지원을 촉구하는 내용을 담고 있습니다. Eindhoven University of Technology의 Jim Portegies가 이끄는 16명의 연구자가 이 텍스트를 작성했습니다. 이는 2025년 9월 Leiden의 Lorentz Center에서 열린 워크숍에서 시작되었습니다. 국제수학연맹 (International Mathematical Union)이 이를 지지했습니다. Peter Scholze, Terry Tao, Ulrike Tillmann, Kevin Buzzard, 그리고 Scott Aaronson이 서명했습니다.

이 선언은 13일 만에 작성된 것이 아닙니다. 길드는 아직 도래하지 않은 순간을 위해 규칙을 초안하고 있었습니다. Erdos의 결과가 이 선언에 시급성과 청중을 부여했습니다.

7개월 전, 동일한 길드는 가짜를 잡아냈습니다. 2025년 10월, OpenAI의 부사장(VP) Kevin Weil은 GPT-5가 "10개의 Erdos 문제를 해결했다"고 게시했습니다. Erdos 문제 데이터베이스를 관리하는 Thomas Bloom은 이를 "극적인 왜곡 (dramatic misrepresentation)"이라고 불렀습니다. GPT-5는 독창적인 수학이 아니라 이미 발표된 기존의 해결책들을 찾아낸 것이었습니다. Yann LeCun은 이를 조롱했습니다. Demis Hassabis는 당혹스러운 일이라고 말했습니다. Weil은 게시물을 삭제했습니다. 그는 2026년 4월, OpenAI의 과학 부문이 분권화될 때 회사를 떠났습니다.

동일한 Thomas Bloom이 2026년 5월의 결과를 검증했습니다. 가짜를 잡아냈던 바로 그 커뮤니티가 진짜를 알아본 것입니다. 그 일련의 과정이 라이덴 선언 (The Leiden Declaration)을 의미 있게 만듭니다. 길드 (the guild)는 스스로 차이를 구별할 수 있음을 증명했습니다.

선언문에 담긴 네 가지 우려 사항을 읽어보십시오. 첫째, AI가 그럴듯하지만 결함이 있는 증명들로 수학계를 범람시킬 수 있습니다. 둘째, 독점적 모델 (proprietary models)이 작업을 수행할 때 기여도 (Attribution)가 약화됩니다. 셋째, 기업의 연구 우선순위가 분야를 왜곡합니다. 즉, 자동화하기 용이한 문제에는 자금이 지원되지만, 더 깊은 의미를 지닌 문제에는 지원되지 않습니다. 그리고 네 번째는, 인간이 검증할 수는 있지만 생성할 수는 없는 증명들입니다. 수학이 발견의 학문 (discovery discipline)이 아닌 검증의 학문 (verification discipline)이 되는 것입니다.

네 번째 우려 사항이 핵심입니다. 길드는 AI가 수학을 할 수 없다고 주장하는 것이 아닙니다. AI가 할 수 있다는 사실을 받아들이고 수학자의 위치를 재정립하고 있는 것입니다. 선언문은 길드의 새로운 직무를 정의합니다: 검증, 거버넌스 (govern), 기여도 산정 (attribute).

이것은 항의 서한이 아니라 구직 신청서입니다.

필즈상 수상자인 Tim Gowers는 그러한 재정립이 어떤 느낌인지 폭로했습니다. 그는 처음에 Erdos의 결과를 잘못 읽었습니다. 그는 모델이 추측을 반증한 것이 아니라 증명했다고 생각했고

라이덴 선언 (The Leiden Declaration)은 AI의 수학적 능력 (mathematical capability)이 진실하다는 가장 신뢰할 수 있는 신호입니다. 2,000명의 수학자들이 자신들을 위협하지 않는 것에 대해 자격을 부여하지는 않습니다. 서명자들이 텍스트 자체보다 더 중요한 이유는 이 길드 (guild)가 실적을 가지고 있기 때문입니다. 이들은 2025년 10월의 주장을 반박했고, 2026년 5월의 주장을 지지했습니다. 다음 분야에서 이 문서의 자체 버전을 만들어낼 때, 그것이 바로 주목할 가치가 있는 신호가 될 것입니다.

_원문은 The Synthesis에서 처음 게시되었습니다 — 지능의 전환 (intelligence transition)을 내부에서 관찰하며.