## AI의 놀라운 증명, 그러나 ‘해석’의 문제는 남았다
수학계에 작은 충격이 일고 있다. FirstPrinciples에서 개발한 AI 자동 발견 시스템 ‘테오 컨젝처’가 1989년 폴 에르되시와 윌리엄 스테이턴이 제시한 35년 된 수학적 추측을 증명했다는 소식이다.
이 추측은 소수(prime numbers)와 리만 제타 함수 사이의 깊은 연관성을 다루고 있다. 특히 주목할 점은 AI가 기존에 알려지지 않은 두 번째 수학적 항을 찾아냈다는 것이다.
이는 단순한 계산 완료가 아니라, 인간이 미처 발견하지 못한 새로운 패턴을 AI가 포착했음을 의미한다.
구체적인 내용은 다음과 같다. 2부터 30까지의 정수를 점으로 찍고, 두 수가 1보다 큰 공약수를 가질 때 선으로 연결한다.
이때 소수들은 서로 연결되지 않는 독립 집합을 형성하며, 이는 가능한 최대 크기의 독립 집합이다. 테오 컨젝처는 이 구조를 분석해 에르되시가 예상한 답을 증명했고, 동시에 예상치 못한 항을 도출해냈다.
이는 AI가 수학자의 직관과 유사한 방식으로 문제를 접근하고 있음을 시사한다.
## 커뮤니티의 냉철한 시선과 AI 글쓰기의 한계
하지만 이 성과에 대한 수학 커뮤니티와 기술 커뮤니티의 반응은 신중하다. 해커 뉴스 등 주요 커뮤니티에서는 이 결과가 엄밀한 의미의 ‘완전한 증명’인지에 대해 의문을 제기한다.
일부 독자는 ‘솔브(solve)’라는 단어가 여기서는 추측의 일부를 분석하거나 평가하는 방식의 해법을 의미하는 것으로 쓰였다고 지적한다. 즉, 모든 조건을 완벽히 검증한 최종 증명이라기보다는, 핵심적인 단서를 찾아낸 중요한 진전으로 보는 시각이 강하다.
또 다른 쟁점은 AI가 생성한 글의 가독성이다. AI가 생성한 설명문은 인간 수학자가 독자를 위해 쓴 글과는 달리, 어떤 개념이 쉽게 이해될지 직관적으로 판단하지 못하는 경향이 있다.
그 결과 문장은 동시에 산만하고 난해하게 읽힌다. 독자들은 AI와 직접 대화를 나눈다면 더 명확한 설명을 얻을 수 있겠지만, 현재 공개된 글쓰기 방식은 여전히 장벽이 높다고 평가한다.
이는 AI가 복잡한 수학적 개념을 대중에게 전달할 때 여전히 해결해야 할 과제가 있음을 보여준다.
## 과거의 유산과 미래의 협업
이 성과는 과거의 유산과도 연결된다. 1980년대 Graffiti라는 프로그램이 에르되시의 관심을 끌었던 질문들을 던졌다면, 테오 컨젝처는 그 질문들을 다시 꺼내어 검증하고 확장했다.
이는 AI가 단순히 새로운 것을 만드는 도구를 넘어, 과거의 미해결 문제를 다시 조명하는 매개체로도 기능할 수 있음을 보여준다. 인간 수학자가 AI에게 질문을 던지고, AI가 제안과 테스트, 수정을 반복하며 답을 찾아내는 순환 구조가 완성된 것이다.
앞으로 주목해야 할 점은 이 ‘추가 항’이 수학 전반에 어떤 영향을 미칠지다. 리만 제타 함수와 소수의 관계는 수론의 핵심 중 하나다.
여기에 새로운 항이 추가된다면, 기존 이론의 정교화나 새로운 응용 가능성이 열릴 수 있다. 또한 AI가 생성한 글의 난해함을 어떻게 해결할지, 그리고 이 결과가 다른 수학 분야로 어떻게 확장될지도 중요한 관전 포인트다.
AI가 수학자를 대체하는 것이 아니라, 인간의 직관을 보완하는 파트너로 자리 잡는 과정의 한 단계로 이해해야 한다.
## 마무리하며
테오 컨젝처의 성과는 AI가 수학 연구의 최전선에서 실질적인 기여를 하고 있음을 입증했다. 하지만 그것이 즉각적인 노벨상급의 완결된 증명인지, 아니면 더 큰 발견을 위한 중요한 디딤돌인지에 대해서는 신중한 접근이 필요하다.
커뮤니티의 냉철한 비판과 함께, AI가 생성한 복잡한 내용을 인간이 어떻게 해석하고 전달할지에도 관심이 집중될 것이다. 수학의 아름다움과 AI의 계산력이 만나는 지점에서 어떤 새로운 이야기가 펼쳐질지 지켜보는 것도 흥미롭다.
작성자 소개
