PSI, 양자컴퓨팅 난제 증명 공개…현재 매출은 데이터센터 최적화 도구

피지컬슈퍼인텔리전스(Physical Superintelligence·PSI)가 인공지능(AI) 연구 시스템으로 양자컴퓨팅 난제인 애런슨-암바이니스 추측의 증명을 제시했다. 회사의 현재 매출원은 이론물리 연구가 아니라 데이터센터 최적화 도구다.

테크크런치(TechCrunch)는 맷 파인스(Matt Pines) PSI CEO와 데이비드 터투리언(David Turturean) 연구자를 인터뷰해, 회사가 데이터센터의 열·전력·물·소음 조건을 분석하는 도구로 매출을 내고 있다고 보도했다. 파인스는 이론물리의 발견을 실제 기술로 옮기는 일을 장기 목표로 제시했다.

PSI는 9월 출범을 알리며 핵심 플랫폼 ‘Emmy’를 지상·궤도 데이터센터 최적화에 활용할 계획이라고 밝혔다. 이번 증명이 매출이나 데이터센터 고객 성과로 이어졌다는 수치는 공개하지 않았다.

애런슨-암바이니스 추측은 이산 큐브에서 정의된 유계 저차 다항식 가운데 분산이 일정 수준 이상인 경우, 결과에 큰 영향을 주는 입력 변수가 존재한다는 명제다. 입력 변수 하나가 결과에 얼마나 큰 영향을 미치는지를 다룬다.

이 추측은 양자컴퓨터가 무작위 입력을 받는 예·아니오 질의 문제에서 고전 컴퓨터보다 입력을 읽는 횟수를 지수적으로 줄일 수 있는지와 연결된다. 이번 결과가 다루는 범위는 이런 특정 질의 문제다.

PSI는 자체 연구 시스템이 비공개 앤스로픽(Anthropic) 모델을 활용해 증명을 만들었다고 발표했다. 시스템은 연구를 시작한 지 사흘째 완전한 증명을 만들었고, 증명 검증 프로그램 Lean이 이를 받아들였다.

회사는 이후 결과를 두 차례 개선했으며 최종 버전도 Lean 검사를 통과했다고 설명했다. 데이비드 터투리언의 논문은 arXiv에 공개됐고, 증명 코드는 저장소에서 볼 수 있다.

PSI는 이 추측을 2008년부터 이어진 난제로 소개했다. 추측을 제시한 스콧 애런슨(Scott Aaronson)과 안드리스 암바이니스(Andris Ambainis)가 공개한 원 논문은 2009년 arXiv에 올라왔다.

애런슨은 8일 자신의 블로그에서 증명을 아직 직접 이해하지는 못했지만 “증명이 옳다고 믿는다”고 말했다. Lean 검증과 전문가들의 검토 의견이 신뢰의 근거라고 설명했다.

본지는 앞서 PSI가 추측의 증명을 공개한 과정과 애런슨이 증명에 신뢰를 표한 내용을 전했다.

애런슨은 이번 결과가 양자컴퓨터의 우위 전체를 부정한다는 해석에도 선을 그었다. 쇼어 알고리즘이나 양자 물리·화학 시뮬레이션의 성능을 부정하는 결과는 아니라는 설명이다.

PSI 발표는 스탠퍼드 연구진이 증명을 읽고 의견을 전달했으며, 전문가용 해설을 준비 중이라고 밝혔다. 형식 검증과 연구자 검토는 증명의 확인 과정에서 각각 다른 역할을 한다.

페드로 도밍고스(Pedro Domingos)는 X에서 양자 우위의 가능성이 끝났다는 취지로 주장했다. 애런슨은 이를 과장된 해석이라고 반박했다.

테크크런치는 PSI가 앤스로픽의 Fable 5.2 모델을 사전 접근해 사용했다고 보도했다. PSI 발표문은 모델을 특정하지 않고 ‘비공개 앤스로픽 모델’이라고만 표현했으며, 앤스로픽은 9일 클로드 Fable 5.2를 공개했다.

논문과 증명 코드가 공개됐고 Lean 검사를 통과했다는 사실은 학술지 동료심사와 별개다. 학술지 동료심사 완료 여부는 확인되지 않았다.