PSI, 미공개 앤트로픽 모델로 양자 컴퓨팅 18년 난제 증명
Physical Superintelligence(PSI)가 미공개 앤트로픽 모델과 정밀 검증 도구 린(Lean)을 활용한 자체 연구 시스템을 통해, 2008년 제시된 양자 컴퓨팅 난제 '아론슨-암바이니스 추측'을 3일 만에 완전 증명했다. 이번 증명으로 양자 컴퓨터가 무작위 데이터에서는 지수적 가속을 달성할 수 없음이 수학적으로 확정되어 양자 컴퓨팅의 실제 한계가 명확해졌다.
Physical Superintelligence(PSI)가 미공개 앤트로픽 모델과 정밀 검증 도구 린(Lean)을 활용한 자체 연구 시스템을 통해, 2008년 제시된 양자 컴퓨팅 난제 '아론슨-암바이니스 추측'을 3일 만에 완전 증명했다. 이번 증명으로 양자 컴퓨터가 무작위 데이터에서는 지수적 가속을 달성할 수 없음이 수학적으로 확정되어 양자 컴퓨팅의 실제 한계가 명확해졌다.