오픈AI 수학 결과물 홍수에 수학계 '압도'

테크 · 2026-10-10 · The Verge

오픈AI가 AI가 생성한 방대한 수학 결과물을 갑작스럽게 공개하자 수학계가 충격과 혼란에 빠졌다. 연구자들은 내용을 온전히 파악하는 데 수년이 걸릴 수 있다고 말하면서도, 검증 부실과 저품질 AI 산출물 확산을 우려했다.

오픈AI가 인공지능(AI)이 생성한 수학 결과물을 대규모로 쏟아내자 수학계가 충격과 혼란에 휩싸였다. 미국 IT매체 더버지와 대화한 수십 명의 수학자들은 이번 발표를 두고 '경악스럽다', '압도적', '전례 없다', '비현실적'이라는 표현을 썼다. 연구자들은 공개된 내용을 온전히 이해하는 데만 수년이 걸릴 수 있다고 입을 모았다.

결과물은 수백 편에 달하는 논문에 흩어져 있으며 조합론과 기하학의 여러 분야, 정수론, 이론 전산학, 대수학, 위상수학, 확률·통계역학, 수리물리학 등 폭넓은 영역을 아우른다. 분량이 방대해 오픈AI 스스로 저장소를 어떻게 살펴야 하는지 안내문을 낼 정도였다. 일부 결과에는 증명 보조 언어 '린(Lean)'을 이용한 형식화가 포함됐지만, 형식 검증이 이뤄진 비중은 절반을 밑돌았고 검증 단계도 제각각이었다.

우려의 목소리도 컸다. 런던 임페리얼칼리지의 케빈 버저드 교수는 자신의 전공 분야에서 눈에 띄는 정리 몇 건을 찾았지만 형식 검증까지 이뤄진 것은 거의 없었다며, 검증되지 않은 결과를 읽거나 남의 검증을 기다려야 한다고 지적했다. 수학자들은 저품질 AI 산출물인 이른바 '슬롭'이 급증하는 점을 걱정했고, 오픈AI의 이전 수학 문서들은 출처 표기가 부실하다는 비판을 받았다. 일부 연구자들은 이번 발표를 두고 '슬롭칼립스'라고 부르기도 했다.

전문가들은 이번에는 이전보다 신경을 쓴 흔적이 보인다고 평가하면서도, 형식 검증이 없는 결과가 많아 논문 자체의 품질이 중요해졌다고 짚었다. AI가 인간 직원의 검토 역량을 훨씬 앞지르는 속도로 수학을 쏟아내는 상황에서, 회사가 모든 결과를 제대로 검증할 전문성과 자원을 갖추지 못했다는 지적도 나온다.