구글 연구진, AI와 수학 증명으로 양자컴퓨터 필요 자원 줄여

한눈에 보기

구글 연구진이 AI 에이전트와 컴퓨터가 검증한 수학 증명을 써서, 과학 계산에 필요한 자원이 적은 양자 프로그램을 설계했어요. 핵융합, 광화학, 약물 대사 모델 계산에서 필요한 자원이 각각 약 11배, 8배, 2.5배 줄었다고 보고했어요.

핵심만 콕콕

1. 1

   에이전트(목표를 스스로 수행하는 AI 프로그램)들이 양자 프로그램을 제안하고, 그 프로그램이 정해진 자원 안에서 계산을 제대로 하는지 증명했어요.

2. 2

   자원은 논리 큐비트(오류를 줄이도록 묶어 만든 양자 정보 단위) 수와 T 게이트(오류 보정 양자컴퓨터에서 구현 비용이 큰 연산) 수를 곱해 쟁어요.

3. 3

   증명은 Lean이라는 증명 검사 시스템으로 작성했어요. 증명이 실패하면 오류 메시지를 보고 AI가 프로그램을 고쳤어요.

4. 4

   다만 이 프로그램들은 앞으로 나올 초기 내결함성 양자컴퓨터의 예상 능력을 아직 넘어서, 자원을 더 줄여야 해요.

왜 중요할까요?

양자컴퓨터가 실제로 쓰이려면 프로그램이 필요로 하는 자원을 줄이는 일이 하드웨어 발전만큼 중요하다는 것을 보여 줘요.