OpenAI의 722개 AI 생성 수학 논문, 수학자들 사이 놀라움과 우려로 양분

OpenAI가 공개한 내용과 시기

2026년 10월 6일 OpenAI는 GitHub에 722개의 원고를 게시했습니다. 이들은 관련 결과의 372개 모음으로 그룹화되었으며, 모두 회사가 공개하지 않은 내부 모델에 의해 생성되었습니다. xenospectrum.com 및 AI 중심 뉴스레터 Latent.space에 따르면 회사는 약 4,000개의 수학 문제에 대해 이 모델을 실행했으며, 수락된 결과의 평균은 Latent.space가 보도한 바와 같이 ChatGPT Pro 추론 시간의 약 3시간에 해당하는 계산 비용이 들었습니다.

한 원고는 연구자들이 '준리만 가설'이라고 부르는 것을 다룹니다. 특정 디리클레 L함수의 영점이 실부가 7/8을 초과하는 곳에 존재하지 않는다는 주장입니다. Xenospectrum.com은 이것이 실제 리만 가설을 해결하는 것이 아니며, 실부가 정확히 1/2인 영점에 관한 리만 가설은 여전히 미해결된 클레이 수학 연구소 밀레니엄 상 문제로 남아 있음을 지적했습니다.

수학자들 사이의 찬사와 우려

반응이 크게 갈렸습니다. Latent.space에서 Anthropic과 관련이 있는 것으로 설명된 수학자 Levent Alpöge는 이 발표를 "명백히 수학 역사상 가장 중요한 순간"이라고 부였습니다. The Conversation은 다른 수학자들이 훨씬 덜 감동했다고 보도했습니다. 한 검토자는 배치의 일부를 "우리 현관에 내버려진 거대한 쓰레기"라고 일축했고, 고위 수학자는 한 논문이 너무 이해하기 어려워서 통상적인 방식으로 저널에 제출되었다면 바로 휴지통에 들어갔을 것이라고 말했습니다.

The Conversation은 또한 ChatGPT 자체가 배치의 최소 하나의 결과에 "심각한 환각"이라고 표시했으며, 여러 논문이 나중에 오류가 발견된 후 철회되거나 수정되었다고 보도했습니다.

검증 격차

실제로 발표된 내용 중 얼마나 많은 부분이 기계적으로 검증되었는지에 대한 기록은 다릅니다. 2026년 10월 7일 현재 OpenAI의 형식화 카탈로그를 추적하는 Xenospectrum.com은 722개의 원고 중 162개(약 22.4%)가 증명 검증 언어 Lean으로 형식화된 결과를 갖는 것으로 파악했습니다. 반면 The Conversation은 OpenAI가 Lean 유형 소프트웨어를 사용하여 300개의 주요 결과를 형식화했다고 보도했습니다. Xenospectrum.com은 완성된 Lean 형식화도 논문 내의 모든 설명 주장이 독립적으로 검증되었음을 확인하지 않으며, 오직 증명의 논리적 단계만 확인한다고 추가했습니다.

Tech-insider.org는 필즈상 수상자 Terence Tao를 포함하는 자문 그룹이 OpenAI의 결과가 대중에게 어떻게 도달하는지 관리하도록 설치되었다고 보도했습니다. 그러나 그룹의 역할은 결과가 정확한지 독립적으로 검증하는 것이 아니라 발표에 대해 조언하는 것이 명시되어 있었습니다. 같은 매체는 OpenAI의 모델이 약 10,000개의 AI 에이전트를 사용하여 약 88시간 동안 작업하여 나비에-스톡스 존재와 평활성 문제와 관련된 증명을 생산했다는 9월 주장을 인용했습니다. 이는 또 다른 밀레니엄 상 문제이며 클레이 수학 연구소는 여전히 해결된 것이 아니라 활성으로 나열하고 있으며, 이는 독립적인 검증이 완료되지 않았음을 의미합니다.

수학자들이 여전히 이의를 제기하는 것

정확성을 넘어 Tech-insider.org는 OpenAI의 먼저 발표하고 나중에 검증하는 접근 방식이 수학이 전통적으로 작동해왔던 방식을 역전시키고 느리고 적대적인 동료 검토의 부담을 이미 한계에 도달한 수학 커뮤니티로 전가한다는 우려를 보도했습니다. The Conversation은 나비에-스톡스 주장과 관련된 데이터 오용에 대한 추가 우려를 보도했습니다. 이는 수학자 Tristan Buckmaster와 Levent Alpöge에 의해 제기되었습니다. OpenAI는 이를 부인했습니다. 그리고 AI 시스템에 의해 "스쿱"되는 연구에 대한 광범위한 불안과 그러한 도구의 성장이 수학을 직업으로서 의미하는 바에 대한 불안이 있습니다.