OpenAI 모델, 이산수학 핵심 추측 반증 성공, AI가 새로운 수학적 사실을 발견하다

OpenAI가 자사 AI 모델이 이산수학 분야의 핵심 미해결 추측(conjecture)을 반증하는 반례(counterexample)를 발견했다고 공식 발표했다. 이는 AI가 단순 계산이나 정형화된 증명을 넘어, 창의적 추론이 필요한 순수 수학 연구에서 실질적인 기여를 한 사례로 학계의 주목을 받고 있다.

이산수학은 그래프 이론, 조합론, 정수론 등 연속적이지 않은 수학적 구조를 다루는 분야로, 알고리즘 설계와 컴퓨터 과학 전반의 수학적 기반을 이룬다. 오랫동안 미해결로 남아 있던 추측들은 전통적으로 수학자들의 직관과 수년에 걸친 탐구를 통해서만 진전이 이루어져 왔다.

이번 반증이 주목받는 이유는 AI가 ‘반례 발견’이라는 창의적 작업을 수행했기 때문이다. 반례 발견은 방대한 경우의 수 중에서 이론을 깨트리는 특수한 구조를 찾아내야 하므로, 단순 계산 능력만으로는 불가능하다.

AI의 수학 연구 성과는 이전에도 있었다. 2024년 DeepMind의 AlphaProof는 국제수학올림피아드(IMO) 은메달 수준의 문제를 해결했고, FunSearch 프로젝트는 조합론 분야에서 새로운 알고리즘을 발견했다. 이번 OpenAI의 성과는 그 흐름 위에서 순수 수학 연구에서의 AI 역할을 한 단계 더 끌어올린 것으로 평가된다.

앞으로 AI가 인간 수학자와 협력하여 미해결 난제들을 하나씩 정복해 나가는 시대가 가까워지고 있음을 보여주는 이정표다.