수학에서의 AI 목표 불일치

필즈상 수상자 25명이 공동 선언에 서명하고, 수학 문제 풀이를 벤치마크로 삼는 AI 기업의 목표가 수학 공동체의 이해와 통찰 증진이라는 목표와 심각하게 어긋난다고 경고함 수학에서 문제 해결은 수단이자 대리 지표이며, 새로운 방법을 토론하고 단순화해 다음 세대가 배울 수 있는 지식으로 만드는 과정이 본래 목적임 최근 LLM은 주요 미해결 문제를 풀 수준으로 발전했지만, 성급한 발표는 충분한 해설·새 방법의 정리·선행 연구 인용을 밀어내며 기여 인정과 표절 문제를 일으킴 학생의 역량 개발과 아이디어의 성숙에는 시간과 인간적 교류가 필요하며, AI가 만든 아이디어를 발전시키고 기존 수학 지식에 통합할 수학자의 참여가 필수적임 AI는 수학 연구와 이해를 가속할 잠재력이 있지만, 이로운 결과와 파괴적 결과를 가르는 데는 기술을 통제하는 인간의 결정이 크게 작용하므로 수학계·AI 기업·사회가 긴급히 대응해야 함 필즈상 수상자 25명의 공동 선언 Terence Tao를 포함한 초기 서명자 25명 전원이 필즈상 수상자이며, 지난 일주일간의 논의를 바탕으로 공동 선언을 공개하고 추가 서명을 받고 있음 Leiden 선언 때와 같은 폭넓은 협의 절차를 거칠 시간은 부족했지만, 상황의 긴급성 때문에 발표를 늦추지 않기로 결정함 문제를 푸는 것과 수학을 이해하는 것은 다름 최근 몇 달간 LLM의 수학 능력은 여러 분야의 주요 미해결 문제를 풀 수 있을 만큼 크게 향상됐고, 그 성과는 수학계 밖에서도 주목받음 그러나 문제 해결을 벤치마크로 삼는 AI 기업의 경쟁은 수학이라는 학문과 공동체에 해로우며, 기업과 수학 공동체의 목표 사이에는 심각한 불일치가 있음 수학 연구의 목적은 도형·수·자연현상의 기본 구조를 이해하는 것임 여러 세대에 걸쳐 정교한 아이디어, 방법, 추상화와 도구를 축적해 왔으며, 현대 기술과 과학도 이러한 수학적 도구에 기반함 유명한 난제는 이해의 진전을 가늠하는 이정표 역할을 해왔고, 그 해결은 새로운 통찰과 흥미로운 방법의 탄생을 알리는 신호였음 이후 수학자들이 오랜 시간 강연·토론·단순화를 거쳐 결과를 검토하고 발전시킴 이상적으로는 대학원생이나 학부생도 공부할 수 있는 교과서 형태로 정리되며, 일부 아이디어는 수십 년 또는 수백 년 뒤 일반 대중도 이해하고 사용하는 도구가 됨 문제 해결은 개념적 이해와 통찰을 위한 수단이자 대리 지표임 이를 잊고 ‘참/거짓’ 명제를 점점 더 빠르게 대량 생산하면, 새로운 아이디어...