중요X
미공개 Anthropic(앤트로픽) 모델, 18년 묵은 양자 컴퓨팅 난제 증명 사흘 만에 해결
Lean 코드까지 공개돼 재검증 가능. 벤치마크 넘어 검증형 AI 수학 연구의 신뢰성 사례로 주목.
요약
Physical Superintelligence가 공개되지 않은 AnthropicAI 모델을 활용해 18년간 미해결 상태였던 'Aaronson–Ambainis conjecture'에 대한 증명을 찾아냈다. 해당 연구팀은 연구 과정에서 단 3일 만에 증명을 완료했으며, 이를 검증할 수 있는 논문과 Lean 코드를 공개했다. 이번 증명은 양자 컴퓨터가 고전 컴퓨터보다 기하급수적으로 빠르게 문제를 해결할 수 있는 조건에 관한 핵심 질문을 다룬다. 연구 결과에 따르면, 해당 추측이 연구하는 설정에서는 양자 컴퓨터가 속도 이점을 얻기 위해 특별한 구조가 필요함이 밝혀졌다. 현재 사용된 구체적인 모델명은 밝혀지지 않았으며 독립적인 재현 검증은 아직 이루어지지 않은 상태이다.
AI가 원문을 요약한 내용으로, 부정확할 수 있습니다.
원문 제목 @mark_k: A quantum computing conjecture sat open for 18 years. A research system running an unreleased @AnthropicAI model found a proof by
원문 보기 ↗