AI 최초의 자율 수학 증명 — OpenAI 모델, 80년 에르되시 추측 반박

80년 만의 수학 난제 해결

2026년 5월 20일, OpenAI의 범용 추론 모델이 헝가리 수학자 폴 에르되시가 1946년에 제기한 이산 기하학의 핵심 추측을 자율적으로 반증했다. AI가 수학의 주요 미해결 문제를 독립적으로 해결한 것은 역사상 처음으로, 여러 외부 수학자들이 독립적으로 증명을 검증했다.

문제의 본질

평면 단위 거리 문제(planar unit distance problem)는 단순한 질문에서 출발한다: n개의 점을 평면에 배치할 때, 정확히 거리 1만큼 떨어진 점 쌍은 최대 몇 개가 될 수 있는가? 80년간 수학자들은 정사각형 격자 배열이 최적에 가깝다고 믿었다. OpenAI 모델은 이를 반박하는 무한한 새 구성 패밀리를 발견하고, 이것이 격자를 다항식적으로 개선함을 증명했다.

접근 방식의 혁신성

특히 주목할 점은 AI가 기하학 문제를 전혀 다른 수학 분야인 대수적 정수론과 연결해 해법을 찾았다는 것이다. 이 모델은 수학 전용으로 훈련된 시스템이 아니라 일반 목적 추론 모델이었다. 프린스턴 대학교 조합론의 세계적 권위자 노가 알론, 그리고 멜라니 우드와 토마스 블룸이 증명을 독립적으로 검증하고 해설 논문을 발표했다.

샘 알트먼의 반응

OpenAI CEO 샘 알트먼은 자신의 X 계정에 이렇게 적었다: "범용 모델이 수학의 주요 미해결 문제를 풀었다. 앞으로도 이런 말을 자주 하게 될 것 같다. 이것은 꽤 중요한 이정표다. AI가 세계에 대한 이해를 크게 확장시켜줄 것이 정말 기대되지만, 오늘은 복잡한 감정이 든다."

과학 연구의 미래

이번 성과는 AI가 기존 작업을 가속화하는 것을 넘어, 진정한 과학적 창의성을 발휘하기 시작했음을 시사한다. 수학적 발견을 할 수 있는 AI는 의학, 재료 과학, 물리학 등 다양한 분야에서 인류가 수십 년간 풀지 못한 난제들을 해결할 잠재력을 갖게 됐다.