구글, AI로 양자 알고리즘을 찾고 수학적으로 검증

한눈에 보기

구글 딥마인드와 구글 양자 AI 팀이 AI 에이전트(스스로 작업을 나눠 수행하는 프로그램)를 써서 양자 프로그램을 자동으로 찾아내는 방법을 공개했어요. 이 과정에서 찾은 프로그램은 수학적 증명 도구인 Lean 4로 오류가 없는지 기계가 직접 확인해요.

핵심만 콕콕

1. 1

   AI 에이전트 여러 개가 후보 프로그램을 주고받으며 개선해요.

2. 2

   Lean 4는 프로그램이 정해진 조건을 지키는지 증명으로 확인해요.

3. 3

   과학 시뮬레이션 몇 가지에서 기존 연구보다 계산 비용이 자릿수 단위로 줄었다고 해요.

4. 4

   화학 계산 한 사례에서는 T 게이트(양자 계산의 비싼 연산) 수가 40% 줄었어요.

왜 중요할까요?

기존 컴퓨터로는 확인하기 어려운 큰 양자 계산도 AI가 만든 회로를 믿을 수 있게 검증할 길을 보여 줘요.