핵심 내용 요약
최근 반 달 동안 수론계가 큰 파장에 휩싸였습니다. 10년 동안 깨지지 않았던 소수 간격 기록이 AI의 도움으로 단 며칠 만에 3단계나 상승하여 246에서 240, 212, 186으로 연이어 경신되었습니다. 이 사건은 단순히 AI의 기술력을 과시하는 상업적인 이벤트가 아니라, 수백 년 동안 인류를 괴롭혀온 “초등학생도 이해할 수 있는 문제지만 최고 수학자들도 풀지 못하는” 쌍둥이 소수 추측을 다시 대중의 관심사로 끌어올렸습니다. 우리는 2000년 이상 발전시켜온 소수 선별법을 통해 “무한히 많은 소수 쌍의 간격이 186을 넘지 않는다”는 것을 증명할 수 있었지만, 마지막 2라는 장애물을 넘지 못하고 있으며, 그 이유조차도 기존 수학 도구의 한계 때문입니다. 더 흥미로운 것은, 이처럼 보기에는 쓸모없어 보이는 순수 수학 문제가 역사적으로 인텔에게 4억 7500만 달러의 손실을 초래하기도 했으며, 구글은 이를 경매의 소재로 활용하기도 했다는 점입니다.
---
간단한 설명
1. 이번 AI의 기록 경신은 “쌍둥이 소수 추측의 증명”이 아닙니다
많은 사람들이 이 소식을 보고 “AI가 수백 년 된 수학 문제를 풀었다”고 생각하지만, 이는 완전한 오해입니다.
2014년에 인류가 소수 간격 기록을 246으로 고정한 이후, 전 세계 수학자들은 10년 동안 노력해도 그 숫자를 낮추지 못했으며, 기존 수학 도구의 한계를 인정했습니다. 올해 8월 오스트리아의 젊은 수학자 줄리아 슈타들만(Julia Stadlmann)이 기존의 선별법을 조정하여 기록을 240으로 끌어올렸습니다. 이를 보고 여러 AI 회사들이 경쟁에 뛰어들었습니다. AI 수학 스타트업인 액시옴(Axiom)은 AI를 이용해 최적의 파라미터를 찾아 기록을 212로 경신했으며, 오픈AI(OpenAI)는 GPT-6 Astra를 출시하면서 186이라는 결과를 내놓으며 줄리아의 논문을 참고하지 않았다고 주장했습니다. 하지만 이는 AI가 독자적으로 문제를 풀었음을 의미하지 않습니다. 이 과정에서 오픈AI, 앤서로픽(Anthropic), xAI의 서비스가 다운되기도 했습니다.
2. 쌍둥이 소수 추측은 “초등학생도 이해할 수 있는 문제”지만, 과거에는 기업에 큰 손실을 줬습니다
쌍둥이 소수란 “차이가 2인 두 소수”를 말합니다. 예를 들어 3과 5, 5와 7처럼 초등학교 3학년 학생도 이해할 수 있지만, 이 문제는 상업계에서도 큰 이슈가 되었습니다.
- 1994년, 미국 수학자 니켈리(Nicely)가 모든 쌍둥이 소수의 역수를 계산하던 중 오류를 발견했고, 그 원인은 인텔의 펜티엄 프로세서의 부동소수점 연산 오류였습니다. 이로 인해 인텔은 4억 7500만 달러의 손실을 입었습니다.
- 2009년에는 노텔 네트워크(Northern Telecom)가 파산하면서 6000개의 통신 관련 특허를 경매에 내놓았고, 구글은 190,216,0540달러라는 엄청난 금액으로 입찰하여 화제가 되었습니다. 이 숫자는 바로 브룬 상수(Brun constant)의 첫 6자리였습니다.
3. 소수 선별법은 단순히 “합성수를 제거하는 것”이 아닙니다
소수 선별법은 2000년 전 에라토스테네스(Eratosthenes)가 발명한 방법으로 알려져 있지만, 실제로는 통계적인 도구입니다. 이제는 다양한 알고리즘(예: GPY, 메이너드-타오저산(Maynard-Tao sieve)이 사용되며, 특정 영역에 계산 자원을 집중하여 소수를 더 효율적으로 찾습니다.
4. 186에서 2로 가는 길은 단순한 파라미터 조정으로는 넘을 수 없습니다
현재의 소수 선별법은 “기존의 한계”에 부딪혔으며, 이를 극복하려면 새로운 수학적 도구가 필요합니다.
5. AI의 등장은 수학 분야의 규칙을 바꾸고 있습니다
타오저산(Tao Jianxuan)은 “줄리아 슈타들만이 AI가 이 문제를 ‘오염’시키기 전에 논문을 발표한 것을 다행으로 생각한다”고 말했습니다. AI가 계산 결과를 내놓더라도 그 배경과 이론을 이해하지 못한다면, 인류는 수학적 추론 과정을 이해할 수 없게 될 수 있습니다.
이번 사건은 AI가 수학 분야의 발전에 큰 영향을 미치고 있으며, 앞으로 수학 연구의 방향성을 재정립할 수 있습니다.