뉴스국내
PSI "비공개 앤트로픽 AI로 18년 된 양자 난제 증명"
AI타임스
비공개 앤트로픽 AI 모델을 활용해 18년간 풀리지 않았던 양자 컴퓨팅 분야의 난제 '아론슨-암바이니스(Aaronson-Ambainis) 추측'을 증명했다는 연구 결과가 나왔다. AI가 수학적 증명을 작성하고 컴퓨터를 통한 검증까지 통과한 것으로, 모델 개발사가 아닌 외부 기업이 자체 연구 시스템을 활용해 성과를 냈다는 점에서도 주목된다.
원문의 저작권은 AI타임스에 있습니다. 위 발췌는 원문 확인을 돕기 위한 짧은 인용입니다.