양자계산 난제 증명 발표, 앤트로픽 AI 활용

요약

AI 연구기업 PSI가 2008년에 제기된 애런슨·암바이니스 추측에 대한 증명을 공개했습니다. 이 추측은 무작위 입력에 대해 양자컴퓨터가 입력 조회 횟수를 지수적으로 줄일 수 있는지에 대한 내용입니다. PSI는 자체 인프라에서 실행한 연구 시스템에 비공개 앤트로픽(Anthropic) 모델을 활용했으며, 이 시스템을 통해 얻은 증명은 Lean 검사를 통과했습니다. 증명에 따르면, 일반 컴퓨터는 무작위 문자열 대부분에서 양자 알고리즘의 답변 확률을 작은 오차 범위 내에서 근사할 수 있습니다. 필요한 조회 횟수는 양자 알고리즘 대비 지수적으로 늘어나지 않는 수준으로 유지됩니다. 이는 양자컴퓨터의 모든 계산이 빠르지 않다는 이론적 결과로, 특히 무작위 입력에 대한 특정 판정에서 입력 조회 횟수를 비교한 내용입니다. PSI는 샤하르 러벳과 지아펑 장의 접근 방식을 바탕으로 증명을 전개했으며, 논문과 Lean 형식화 코드는 공개 저장소에 올라왔습니다. 이 코드는 두 종류의 독립된 Lean 커널 구현으로 재검사를 거쳤습니다. 연구진은 이 성과를 '수십 년 된 추측을 해결한 큰 성과'로 평가했으며, AI가 초안 작성에 관여했으나 최종 정확성에 대한 책임은 연구진이 지고 있음을 밝혔습니다.

AI가 원문을 요약한 내용으로, 부정확할 수 있습니다. 투자 판단의 근거로 삼기 전에 원문을 확인하세요.