양자계산 18년 난제 증명 발표…앤트로픽 AI 활용
제목 연관성·주요 수치·시장 영향·향후 전망을 기준으로 핵심 문장을 선별한 요약 브리핑입니다.
핵심 포인트
- AI 연구기업 PSI가 2008년 제기된 애런슨·암바이니스 추측의 증명을 공개했다.
- PSI는 비공개 앤트로픽 모델을 활용했으며, 공개된 Lean 형식화 코드는 독립된 커널 구현 두 종으로 재검사됐다.
- AI 연구기업 Physical Superintelligence(PSI)가 양자계산 분야에서 2008년 제기된 애런슨·암바이니스 추측의 증명을 공개했다.
본문
AI 연구기업 PSI가 2008년 제기된 애런슨·암바이니스 추측의 증명을 공개했다. PSI는 비공개 앤트로픽 모델을 활용했으며, 공개된 Lean 형식화 코드는 독립된 커널 구현 두 종으로 재검사됐다. AI 연구기업 Physical Superintelligence(PSI)가 양자계산 분야에서 2008년 제기된 애런슨·암바이니스 추측의 증명을 공개했다. 무작위 입력을 다루는 특정 계산에서 양자컴퓨터가 입력 조회 횟수를 지수적으로 줄일 수 없다는 내용이다. PSI는 6일 연구 발표에서 자체 인프라에서 실행한 연구 시스템이 비공개 앤트로픽(Anthropic) 모델을 활용했다고 밝혔다. 스콧 애런슨(Scott Aaronson)과 안드리스 암바이니스(Andris Ambainis)가 제기한 추측은 특별한 규칙이 없는 무작위 입력에서 양자컴퓨터가 일반 컴퓨터보다 입력을 읽는 횟수를 지수적으로 줄일 수 있는지를 묻는다.
PSI는 기존 연구에서 이 확률이 조회 횟수의 두 배를 넘지 않는 차수의 다항식으로 나타난다는 점을 바탕으로 증명을 구성했다. 구체적으로 영향력은 출력의 분산을 v, 다항식 차수를 d로 놓았을 때 약 0.0025×v의 2.5승/d의 6승 이상이라고 밝혔다. PSI는 알려진 극적인 양자 가속 사례 대부분이 이런 구조에 기대며, 무작위 입력에는 그와 같은 패턴이 거의 없다고 설명했다. 스탠퍼드대 연구진은 2026년 8월 정해진 횟수의 병렬 단계로 입력을 조회하는 양자 알고리즘에서 이 추측의 특수한 경우를 증명했다. 저장소는 코드에 빈 증명 자리표시자나 추가 공리가 없고, 두 종류의 독립된 Lean 커널 구현으로 다시 검사했다고 밝혔다. 본 기사는 시장 데이터 및 차트 분석을 바탕으로 작성되었으며, 특정 종목에 대한 투자 권유가 아닙니다.