중요X
비공개 Anthropic(앤트로픽) 모델, 2008년부터 미해결이던 양자컴퓨팅 난제 증명
AI가 사흘 만에 완전한 증명 도출, Lean으로 검증까지. 수학·연구 자동화 가능성 주목.
요약
Physical Superintelligence(PSI)의 연구 시스템이 미공개 Anthropic 모델을 활용하여 2008년부터 미해결 난제였던 'Aaronson-Ambainis 추측'을 증명하는 성과를 거뒀다. 이번 연구 결과는 양자 컴퓨터가 고전 컴퓨터 대비 지수적 우위를 점할 수 있는 조건을 설명하는 데 기여한다. PSI에 따르면 해당 시스템은 가동 3일 만에 완전한 증명을 찾아냈으며, 최종 버전은 Lean을 통해 검증을 완료했다. 이는 AI가 복잡한 양자 컴퓨팅 이론 문제를 해결할 수 있음을 보여주는 주요한 사례로 평가받는다.
AI가 원문을 요약한 내용으로, 부정확할 수 있습니다.
원문 제목 @kimmonismus: Another major AI research breakthrough: Physical Superintelligence says its research system used a non-public Anthropic model to p
원문 보기 ↗