양자컴퓨터의 18년 난제, AI가 3일 만에 풀었다

3줄 요약
1. 물리학계의 18년 숙제였던 '아론슨-암바이니스 추측'이 풀렸습니다.
2. 물리 연구 기업 PSI가 AI 시스템을 활용해 단 3일 만에 수학적 증명을 해냈습니다.
3. 증명은 논리적 오류를 검증하는 소프트웨어 '리안(Lean)'을 통해 통과되었습니다.

18년 동안 풀리지 않았던 양자컴퓨터의 숙제

컴퓨터 과학계에는 오랜 기간 해결되지 않은 거대한 질문이 하나 있었습니다. 바로 2008년에 제기된 '아론슨-암바이니스 추측'인데요. 이 문제는 양자컴퓨터가 일반 컴퓨터에 비해 언제, 어떤 조건에서 압도적인 성능 차이를 보여주는지 그 한계를 다루는 난제였습니다.

양자컴퓨터는 '슈퍼컴퓨터로도 수천 년이 걸리는 일을 단 몇 초 만에 끝낸다'고 알려져 있지만, 정확히 어떤 영역에서 기존 컴퓨터보다 압도적으로 빠른지 수학적으로 명확하게 증명하는 것은 아주 어려운 일이었죠. 이 수수께끼는 18년 동안 전 세계 수많은 수학자와 물리학자들을 머리 아프게 만들었습니다.

AI와 자체 인프라의 결합, 단 3일 만의 기적

그런데 최근 물리 연구 기업인 PSI(Physics Research Company)가 이 오래된 난제를 해결했다고 발표했습니다. 놀랍게도 이들이 문제를 푸는 데 걸린 시간은 단 3일뿐이었습니다. 자체 구축한 인프라 위에서 앤스로픽(Anthropic)의 비공개 AI 모델을 구동하여 이 엄청난 성과를 이뤄냈다고 합니다.

인간 연구원들이 몇 년을 매달려도 풀기 힘든 복잡한 수학적 증명을 AI가 단 며칠 만에 완성한 것입니다. AI가 생성해 낸 수학적 증명은 논리적 오류를 철저하게 검증하는 전문 소프트웨어인 '리안(Lean)'에 입력되었고, 그 결과 엄격한 논리적 정합성 검증을 통과했습니다.

철저한 검증 거쳤지만, 아직 남은 학계의 과제

AI가 만들어낸 증명은 논리 검증 도구인 리안을 통과했을 뿐만 아니라, 시스템 자체적으로 두 차례의 업그레이드를 거쳐 최종 버전까지 완벽하게 승인받았습니다. 스탠퍼드 대학교의 연구자들도 일부 내용을 검토하고 피드백을 주는 등 관심을 기울였습니다.

다만 과학계의 생태계 특성상 아직 전면적인 독립 학술 검토 과정은 거치지 않은 상태입니다. 이 증명이 2008년에 제기된 원래의 추측을 완전히 해결한 것인지 확정하기 위해서는 앞으로 전 세계 학계의 더 넓고 깊은 현미경 검증이 필수적입니다.

그래서 내 삶과 미래에는 어떤 변화가 생길까?

이번 연구가 중요한 이유는 양자컴퓨터가 기존 컴퓨터를 완전히 대체할 수 있는 영역이 어디까지인지 명확한 지도를 그릴 수 있게 되기 때문입니다. 추측이 완전히 사실로 판명되면, 일반 컴퓨터도 특정 무작위 입력값 조건에서는 복잡한 양자 알고리즘을 꽤 효율적으로 흉내 낼 수 있게 됩니다.

즉, 무조건 양자컴퓨터만이 답이 아니라 기존 컴퓨터와 양자컴퓨터의 역할을 가장 효율적으로 나누는 기준이 세워집니다. 이는 신약 개발, 차세대 배터리 설계, 초고속 암호 체계 개편 등 미래 첨단 기술의 상용화 속도를 엄청나게 앞당기는 마중물이 될 것입니다.