모델
PSI, 비공개 앤트로픽 모델을 쓴 연구 시스템이 아론슨-암바이니스 추측을 증명했다고 주장…Lean으로 검증됐으나 동료 심사는 아직
스타트업 PSI는 비공개 앤트로픽 모델을 쓴 시스템이 아론슨-암바이니스 추측을 증명하고 Lean으로 검증했다고 주장한다. PSI의 주장이며 동료 심사는 아직이다.
이것은 PSI의 주장이며 공개 논문과 Lean 형식화로 뒷받침되지만 동료 심사를 거치지 않았다. Physical Superintelligence(PSI)는 2026년 11월 6일 비공개 앤트로픽 모델을 쓰는 내부 연구 시스템이 2008년부터 미해결이던 양자 복잡도 문제인 아론슨-암바이니스 추측의 증명을 찾았다고 발표했다. PSI에 따르면 실행 사흘째에 완전한 증명이 나왔고 증명 보조기 Lean이 이를 받아들였다. 확인한 출처에 앤트로픽의 논평은 없고 모델 이름도 밝혀지지 않았다.
핵심 요약
- 주장 내용: 유계이고 낮은 차수의 다항식에는 영향력 큰 변수가 있다는 추측이 이제 정리라는 것이다. PSI는 자사 시스템이 증명을 찾았고 Lean이 검증했다고 한다.
- 의미: 보도에 따르면 양자 질의 알고리즘은 대부분의 무작위 입력에서 다항식 개수의 질의를 쓰는 고전 알고리즘으로 근사할 수 있다. 실행 시간 면에서 효율적인 고전 시뮬레이션을 뜻하지는 않는다.
- 검증 상황: PSI는 원고와 Lean 파일을 공개했다. 자체 자문역이 증명을 감사했고 스탠퍼드 연구자 4명이 읽고 더 짧은 해설을 준비 중이라고 한다.
- 빠진 것: 동료 심사, 확인된 아론슨·암바이니스의 공개 평가, 앤트로픽의 입장.
Lean 검증은 무엇을 다루나
Lean은 형식 증명의 각 논리 단계를 검증한다. Unite.AI는 형식화된 명제가 원래 추측과 일치하는지 확인하고 Lean 밖의 논문 부분을 평가하는 일이 여전히 전문가에게 남아 있다고 지적한다. PSI는 시스템이 이후 결과를 두 번 개선했고 최종본도 Lean이 받아들였다고 한다.
모델과 사람의 역할
PSI에 따르면 데이비드 투르투레안이 시스템을 만들고 운영했으며, 문제를 정하고 모델이 첫 초안을 만들게 한 뒤 검토했고 논문의 정확성에 책임을 진다. 증명은 샤차르 로벳과 지아펑 장의 계획을 따르며 그들이 추측한 부등식 하나를 새 부등식으로 대체한다. 모델은 비공개 앤트로픽 모델로만 설명되며 PSI의 접근 조건은 밝혀지지 않았다.
확립되지 않은 점
- 증명이 원래 추측에 대해 맞는지: 독립 검증과 동료 심사가 남아 있다.
- 어떤 앤트로픽 모델을 어떤 조건으로 썼는지: PSI는 밝히지 않았고 확인한 범위에서 앤트로픽도 논평하지 않았다.
- 발견 중 모델의 몫과 시스템·사람의 몫: PSI의 설명뿐이다.
- 아론슨과 암바이니스가 지지하는지: PSI 페이지는 두 사람의 검토를 언급하지 않는다.
비교 표
| 항목 | 2026년 11월 7일 기준 공표 내용 | 출처 |
|---|---|---|
| 발표 | PSI, 2026년 11월 6일, 논문과 Lean 저장소 | PSI |
| 주장 | 아론슨-암바이니스 추측 증명, 2008년부터 미해결 | PSI |
| 모델 | 비공개 앤트로픽 모델, 이름 없음 | PSI |
| 검증 | Lean 수락, 자문역과 스탠퍼드 독자 | PSI, Unite.AI |
| 동료 심사 | 보도된 바 없음 | FourWeekMBA |
자주 묻는 질문
추측이 증명됐나
PSI는 그렇다고 하고 Lean 검증도 받아들여졌지만 논문은 동료 심사 전이며 전문가들이 검토 중이다.
어떤 앤트로픽 모델인가
PSI는 비공개 앤트로픽 모델이라고만 한다. 이름은 공개되지 않았다.
양자 우위가 무너지나
보도로는 질의 수에서의 지수적 양자 우위가 무작위 입력에서는 구조를 필요로 한다는 뜻이며, 양자 컴퓨터가 쓸모없다는 뜻은 아니다.
방법과 한계
출처는 2026년 11월 7일에 확인했다. PSI의 발표 페이지와 보도는 읽었지만 논문 전문과 Lean 파일은 읽지 못했고 수학적 정확성은 검증하지 못했다. 공개: 앤트로픽은 Claude를 만들며 Claude는 이 사이트의 기사 작성을 돕는다.
출처
- Physical Superintelligence (PSI): A proof of the Aaronson-Ambainis conjecture (확인일: 2026-11-07)
- The Quantum Insider: AI-Assisted Proof Settles Longstanding Question About Quantum Speedups (확인일: 2026-11-07)
- Unite.AI: PSI Reports Machine-Checked Proof of Aaronson-Ambainis Conjecture (확인일: 2026-11-07)
- FourWeekMBA: PSI Says Anthropic Model Proved 18-Year Quantum Conjecture (확인일: 2026-11-07)
- Axis of Ordinary: Links for 2026-11-06 (확인일: 2026-11-07)
