# AI 기업의 난문 경쟁은 수학을 훼손한다. 필즈상 수상자 25명이 성명 발표, 모리무네 비씨 등 > https://bookfactory.kr/board/news/12451 > 게시판: 뉴스 > 작성자: tachikoma43 > 작성일: 2026-09-15T05:44:42.201Z --- “수학계의 노벨상”이라고도 불리는 필드스상 수상자 25명은 2026년 9월 11일, AI 기업이 수학의 난제를 모델 성능의 벤치마크로 활용시키려는 움직임을 비판하는 성명 “A Severe Misalignment of AI in Mathematics”을 발표했다. 서명자에는 1990년 필드스상 수상자이자 교토대학 고등연구원의 모리무 문인장·특별교수와 테렌스·타오 씨, 피터·쇼르츠ェ 씨 등이 이름을 올렸다. 성명은 최근 몇 달 동안 대규모 언어 모델(LLM)의 수학 능력이 급격히 향상되어 많은 분야에서 중요한 미해결 문제를 해결할 수 있는 수준에 도달하고 있다는 인식을 보여주는 한편, “AI 기업이 수학 문제를 벤치마크로 활용하려 하는 것은 수학이라는 과학과 수학 커뮤니티에 해롭다”고 비판하며, AI 기업과 수학 커뮤니티의 목적에는 “심각한 불일치”가 있다고 주장하고 있다. ## “문제 해결”은 수학의 궁극적인 목적이 아니다 성명에서는 유명한 수학 문제는 지금까지 수학에 대한 이해가 어느 정도 진전되었는지를 측정하는 “척도”와 같은 역할을 해왔다고 설명한다. 난제가 해결된 경우, 그 과정에서 새롭게 나타난 통찰력이나 방법은 수학자들의 강연이나 토론, 검증, 간소화 등을 거치는 과정에서 장기간에 걸쳐 정리되고 수학 체계에 통합되어 왔다. 이러한 이유로, 수학 문제를 풀기 자체가 “개념적 이해와 통찰”이라는 원래의 목적을 달성하기 위한 수단이며, 간접 지표에 불과하다고 지적한다. 인공지능(AI)이 정답인지 오답인지 판별할 수 있는 명제가 고속かつ대량으로 생산되도록 된다면, 새로운 아이디어가 싹트도록 하는 토양을 훼손할 위험이 있다고 진술한다. ## 인공지능을 통한 성과 대량 생성, 저작권 및 표절 문제에도 우려 수학자들은 인공지능이 생성한 정답이 급하게 공개됨으로써, 충분한 논문 작성과 새로운 방법 및 아이디어 정리, 관련 선행 연구에 적절한 인용이 이루어지지 않을 가능성을 문제 삼았다. 성명서는 이러한 상황에 대해 연구 성과의 저작권 및 표절을 둘러싼 “심각한 문제”를 야기한다고 지적한다. 더욱이 인공지능이 새로운 수학적 아이디어를 창출했더라도, 그것을 검증 및 발전시켜 기존의 수학 체계에 통합하는 수학자가 없다면, 성과는 수학적 지식으로서 충분히 확립되지 않을 것이라고 주장한다. 수학자로부터 차세대 수학자로 지식과 생각을 전달하는 “인간의 전달 사슬”이 상실되는 것에도 경고를 보냈다. 수학 교육에 미치는 영향 또한 논점 중 하나이다. 수학자가 학생에게 문제를 제공하는 목적에는 단순히 답을 내는 것뿐만 아니라, 미래 연구로 이어지는 능력과 새로운 질문을 만들어내는 힘을 길러주는 것도 포함된다. 인공지능이 수년간의 훈련을 거치지 않은 채 결과만 직접 생성될 수 있도록 된다면, 작업 과정에서 원래 익혀야 할 이해와 최종 결과 사이에 괴리가 생길 것이라고 진술한다. ## AI 그 자체에는 반대하지 않고 “수학 연구를 가속화할 가능성” 한편, 25명의 수학자는 수학 연구에 대한 AI의 활용 자체를 부정하고 있는 것은 아니다. 성명은 AI에 대해 “진정한 수학적 연구와 이해를 강화하고 가속화할 가능성이 있다”고 평가하며, 수학이라는 직업도 AI에 의한 변화에 적응해야 한다고 주장했다. 그上で, AI에 의한 변화가 수학 분야에 이익을 가져다줄 것인지, 파괴적인 영향을 미칠 것인지에 대해서는 “이 새로운 기술을 통제하는 인간의 결정”에 크게 좌우될 것이라고 지적하며, 수학 커뮤니티와 AI 기술을 개발하는 기업, 사회 전체가 이러한 문제에 긴급하게 대처해야 한다고 촉구하고 있다. 서명자 중 한 명인 테렌스 타오氏は自身の 블로그에서, 25명의 초기 서명자는 모두 필즈상 수상자라고 설명했다. 성명은 직전 약 1주일 동안에 진행된 수상자 간의 논의에서 비롯되었다고 한다. 타오 부인은 “평소보다 훨씬 더 광범위한 논의를 진행하는 경우”의 “긴급성”을 고려하여 조기에 성명을 공개하기로 결정했다고 밝혔습니다. ## OpenAI는 나비에-스토크스 문제를 AI로 “해결”했다고 발표 수학계에서 AI를 둘러싼 논의가 격화되는 가운데, OpenAI는 9월 8일, 내부 AI 시스템이 현대 수학의 7대 난제 중 하나인 “밀레니엄 챌린지 문제”인 “나비에-스토크스 방정식의 존재와 매끄러움 문제”의 해를 생성했다고 발표했다. OpenAI에 따르면, GPT-6 Astra보다 성능이 뛰어난 개발 중인 내부 모델을 사용하여 약 1만 개의 AI 에이전트를 협조시켜 문제 해결에 투입했다. 에이전트의 가동 시작 후 약 88시간 후에 해에 도달했으며, 이후 GPT-6 Astra를 사용한 정립 증명 지원 시스템 “Lean”에서의 형식화 및 검증에 추가로 17시간을 소비했다. Clay Mathematics Institute의 나비에-스토크스 문제 페이지는 9월 9일 현재 “Unsolved”로 표시되었으나, 현재는 “Active”로 표시되고 있다. !Navier-Stokes Equation active.jpg OpenAI는 이 성과를 공개하는 목적이 AI 모델의 대폭적인 진보를 보고하는 것임을 설명하며, 밀레니엄 챌린지 상금 청구 의향은 없다고 밝혔다. 또한 9월 10일에는 Caltech의 현직 및 전 수학자들로 구성된 그룹이 LLM을 사용하여 미해결 문제에 도전하는 이벤트 “Caltech Mathathon”의 취소를 요구하는 공개 서한을 발표했다. 서한은 AI 기업이 연구 수학을 홍보 기회로 활용하여 유명한 미해결 문제를 누가 먼저 해결하는지에 대한 경쟁을 촉진한다고 비판하며, AI가 생성한 성과의 검증 부담과 인간 수학자의 연구 및 커리어에 미치는 영향에 대한 우려를 표명하고 있다. 이번 필즈상 수상자 25인의 성명은 특정 AI 기업을 직접 지칭하지 않으며, OpenAI의 네비에 스트룩스 문제 발표나 Mathathon을 직접적인 계기로 명시하지도 않고 있다. 다만, AI 기업이 수학의 난제를 모델 성능 지표로 경쟁하는 현재의 방향성 자체에 대해 수학 연구의 목적과의 괴리를 문제 제기하고 있다. 박스 관련 기사: OpenAI, GPT-6 Astra를 능가하는 미공개 AI가 현대 수학의 7대 난제 “네비에 스트룩스 방정식”의 해결 증명을 생성 – 선행 연구 처리 방식에 수학자가 이의를 제기하기도 박스 관련 기사: Anthropic, 미공개 Claude가 “리만 가설”에 도전 – 증명은 실패했지만 관련 문제에서 41.6% → 67.2% – 인간이 “자신을 믿어라”고 격려 박스 관련 기사: 이번에는 Google DeepMind, 미해결 엘데슈 문제를 한 번에 9건 해결 – 형식 증명 AI “AlphaProof Nexus”로 박스 관련 기사: OpenAI의 내부 AI 모델, 엘데슈의 “단위 거리 예측”을 반증 – 외부 수학자가 검증 박스 관련 기사: 필즈상 테렌스 타오, “GPT-5.2 Pro가 수학의 미해결 문제를 거의 자율적으로 해결했다”고 평가 – 엘데슈 문제 #728에서 제시된 AI의 새로운 정점 [원문 보기](https://ledge.ai/articles/fields_medalists_ai_math_statement) | 출처: Ledge.ai