인공 지능에 의해 생성되고 이달 초 발표된 377개의 AI 파생 수학적 결과의 일부로 발표된 증거는 지난 2주 동안 그것을 분해하는 데 걸린 인간 전문가들의 마음을 사로잡고 있습니다. 10월 19일에 Quanta Magazine은 정수 이론가들이 이제 AI가 생성한 유사 리만 가설(수학에서 가장 큰 미해결 문제인 리만 가설의 약한 버전)에 대한 증명을 풀었으며 그들의 평결은 유난히 단호하다고 보도했습니다.
스탠포드 대학교의 Jared Duker Lichtman은 이를 "지금까지 수학을 위한 AI에서 달성한 가장 중요한 성과"라고 말했습니다. 증명의 일부를 뒷받침하는 자신의 연구를 수행한 뉴욕 대학교의 Maksym Radziwiłł은 그 의미가 "놀라울 정도"라고 설명했습니다. 이 이야기에 대한 자세한 내용은 인공지능 뉴스를 참조하세요.
준리만 가설이 주장하는 것
리만 가설이 밝혀진 지 160년이 넘었습니다. 이는 리만 제타 함수와 그 함수의 중요하지 않은 0의 위치에 관한 것이며 소수가 정수 사이에 어떻게 분포되는지와 밀접하게 연결되어 있습니다. 소수는 산술의 구성 요소이기 때문에 증명은 정수론의 거대한 영역을 재구성할 것입니다.
이 가설은 클레이 수학 연구소(Clay Mathematics Institute)가 명명한 7개의 밀레니엄상 문제 중 하나이며, 한 세기 전에 발표된 데이비드 힐베르트(David Hilbert)의 유명한 23개 문제 목록에서 이어진 유일한 문제였습니다.
Quanta가 설명하는 기술 골격은 여러 세대에 걸쳐 단계별로 매핑되었습니다. Riemann은 1859년에 제타 함수의 중요한 0이 소수가 수직선을 따라 어떻게 가늘어지는지를 제어한다는 것을 보여 주었고 입력의 실수 부분이 0과 1 사이에 있는 수직 스트립 내부에만 위치할 수 있음을 증명했습니다. 1896년에 두 명의 수학자들은 스트립의 오른쪽 가장자리에 0이 없다는 것을 독립적으로 보여주었습니다. 이는 소수 정리를 증명하기에 충분히 강력한 결과였습니다. 가설 자체는 모든 중요하지 않은 0이 스트립의 중앙선에 정확하게 위치하며 실수 부분이 1/2과 같다고 말합니다. 음의 짝수에서의 사소한 0은 이미 완전히 이해되었습니다. 160년 이상의 노력으로 0을 고정하지 않고 그 스트립을 좁히고 조사했습니다.
준-리만 가설(quasi-Riemann 가설) 또는 준-RH(quasi-RH)는 엄격하게 더 약한 진술입니다. 그럼에도 불구하고 그 결과는 거의 멀리까지 도달합니다. Radziwiłł은 Quanta에 "어떤 의미에서 RH의 결과 중 대부분은 이미 준RH에서 비롯되었습니다"라고 말했습니다.
발표부터 검증까지
이 결과는 OpenAI가 AI 시스템으로 파생된 377개의 수학적 결과를 발표한 10월 6일에 처음 나타났습니다. 전문 수학자들 사이에서 이 발표는 처음에 상당한 회의론을 불러일으켰습니다. 이전에 AI 시스템은 전문가의 조사 하에 붕괴된 주장된 증거를 생성했으며, 검증은 오랫동안 AI에서 생성된 수학과 허용된 수학을 분리하는 병목 현상이었습니다.
Quanta의 보고서에 따르면 이 증명은 다릅니다. 최근의 다른 AI 증명과 달리 이 증명은 인간 전문가에 의해 풀렸습니다. Radziwiłł, Georgia Institute of Technology의 Alexander Dunn 등을 포함한 정수 이론가들은 발표 이후 논쟁을 통해 그 단계를 확인하고 기존 지식 내에 배치해 왔습니다.
수표가 버텨냈습니다. Radziwiłł과 함께 결과가 부분적으로 의존하는 기술을 개척한 Dunn은 "이 증거는 잘 알려진 아이디어의 놀라운 종합입니다."라고 말했습니다.
오래된 아이디어, 숨겨진 연결
수학자들은 아마도 이 증명의 가장 눈에 띄는 측면은 그것이 필요하지 않은 것이라고 말했습니다. 리만 가설의 약화된 형태라도 해결하려면 근본적으로 새로운 기계가 필요할 것이라는 기대와는 달리, AI가 생성한 증거에는 새로운 개념이 도입되지 않았습니다. 대신, 인간이 조립하지 않은 방식으로 기술을 결합하여 확립된 것들 사이의 숨겨진 연결을 찾아냈습니다.
새로운 이론이 아닌 예상치 못한 합성을 통한 참신함이라는 패턴은 AI 지원 수학적 발견의 특징으로 떠오르고 있으며, 이는 연구자들이 수학에 대한 기계의 기여가 가장 먼저 도달할 가능성이 가장 높은 부분을 재고하도록 유도하고 있습니다.
AI 연구에 중요한 이유
검증된 결과는 추론 모델이 발전하면서 급속도로 가속화되고 있는 수학 분야 AI의 이정표다. 고등연구소(Institute for Advanced Study)가 일련의 결과에 대해 의문을 제기했을 때 다루었던 OpenAI의 10월 6일 발표는 현재까지 AI 기반 수학에 대한 단일 주장 중 가장 큰 주장이었습니다. 준-RH 증명은 해당 배치에서 상세한 전문가 판독을 받은 첫 번째 결과이며 살아남았습니다.
AI 연구실의 경우 이 에피소드는 표준이 될 수 있는 워크플로를 보여줍니다. 모델은 대규모로 후보 증명을 생성하고 인간 전문가는 중요한 결과를 분류, 검증 및 흡수합니다. 수학자에게 즉각적인 결과는 더 좁지만 실제입니다. 이는 더 이상 완전한 추측이 필요하지 않은 리만 가설의 결과입니다.
Quanta는 수학자들이 증명이 현장에서 무엇을 의미하는지에 대해 이제 막 작업을 시작하고 있다고 지적합니다. Radziwiłł이 말했듯이, 그 의미는 "놀라울 정도"입니다. 이는 전체 가설에 미치지 못하는 결과에 거의 붙지 않는 형용사입니다.
이 에피소드는 또한 향후 주장에 대한 기준을 설정합니다. 수학적 혁신을 발표하는 모든 AI 연구소는 이제 준-RH에 대해 측정됩니다. 즉, 이를 반박할 수 있는 가장 좋은 위치에 있는 전문가들이 확인하고 검증하고 승인한 주장된 결과입니다.
이 중 어느 것도 리만 가설 자체를 해결하지 못합니다. 완전한 추측은 여전히 열려 있으며 준-RH는 훨씬 더 약합니다. 그러나 처음으로 AI 시스템은 해당 분야의 선도적인 전문가들이 풀어내고 승인한 해석 수 이론의 최전선에서 증거를 생성했습니다. 이는 정리 자체만큼이나 수학 연구의 미래에 대해 많은 것을 말해 줄 수 있는 사실입니다.
이 기사는 2026년 10월 19일에 발행된 Quanta Magazine의 보도를 기반으로 합니다.
---
AI 최신 소식최신 AI 뉴스, 분석 및 혁신을 한 곳에서 확인하세요.
AI 뉴스 더 보기 →
