참고TechCrunch
Fable 5.2(페이블 5.2) 기반의 AI 과학적 발견: 18년 묵은 양자 컴퓨팅 난제 해결
AI가 인간 연구자의 증명을 돕고 자동형식화(Lean)까지 수행해 복잡한 과학적 난제를 해결한 사례. AI 기반 연구의 가속화를 시사.
요약
스타트업 Physical Superintelligence(PSI)의 연구원 David Turturean은 Anthropic의 Fable 5.2 모델을 활용해 18년 된 난제인 'Aaronson-Ambainis conjecture'를 해결했다. 이 난제는 양자 컴퓨터가 고전 컴퓨터보다 특정 문제를 더 빠르게 해결할 수 있는지에 관한 것으로, 해당 증명은 수학 언어인 Lean으로 자동 정형화되어 검증되었다. 이번 결과는 양자 컴퓨터가 난제를 해결할 수 있는 특정 경로가 존재하지 않음을 보여주는 부정적인 결과이지만, 학계에서 중요하게 여겨지던 양자 쿼리 복잡성 문제를 해결했다는 점에서 의미가 크다. 이번 사례는 AI가 과학적 발견의 영역에서 문제를 해결하며 연구 패러다임을 변화시키고 있음을 보여준다. PSI는 이러한 AI 기반의 과학적 발견을 비즈니스 모델로 구축하고자 노력하고 있다.
AI가 원문을 요약한 내용으로, 부정확할 수 있습니다.
원문 제목 PSI is trying to make a business out of AI-driven scientific discovery
원문 보기 ↗