18년 묵은 양자 추측, AI가 풀었다?
PSI의 주장, Lean 검증까지 공개
마마우스워리어· 2026년 11월 7일· PSI, Anthropic, Lean, 수학, 양자컴퓨팅, AI연구· 0
18년 묵은 양자 추측, 사흘 만에? — PSI, 비공개 Anthropic 모델로 Aaronson-Ambainis 증명 주장
미해결 기간
18년
2008년 제기된 Aaronson-Ambainis 추측
3일 만에 완전한 증명
작업 3일차에 완전한 증명이 나왔다고 해요.
Lean이 단계를 전부 확인
사람이 읽지 않아도 단계별 오류를 걸러내요.
아직 남은 숙제
저널 심사와 원저자 평가는 아직 없어요. 형식화된 문장이 원문제와 같은지는 사람이 대조해야 해요.
1 / 7