PSI, 미공개 앤트로픽 모델로 양자 컴퓨팅 18년 난제 증명
Physical Superintelligence(PSI)가 미공개 앤트로픽 모델과 정밀 검증 도구 린(Lean)을 활용한 자체 연구 시스템을 통해, 2008년 제시된 양자 컴퓨팅 난제 '아론슨-암바이니스 추측'을 3일 만에 완전 증명했다. 이번 증명으로 양자 컴퓨터가 무작위 데이터에서는 지수적 가속을 달성할 수 없음이 수학적으로 확정되어 양자 컴퓨팅의 실제 한계가 명확해졌다.
Lean
OpenAI, 미공개 모델로 쓴 수학 논문 722편 공개… 검증에 500만 달러 지원
OpenAI는 미공개 프론티어 모델이 도출한 수학 연구 결과와 논문 722편을 깃허브에 공개했다. 증명 검증을 위해 린(Lean) 언어 코드가 포함됐으며 평균 3시간의 ChatGPT Pro 연산이 소요됐다. 이어 10월 15일에는 사이먼즈 재단에 500만 달러를 기부해 수학자들의 연구 검증을 지원하겠다고 밝혔다.