구글, 연구자 최대 1만 명에 앤티그래비티 6개월 무료 지원

구글이 연구자 최대 1만 명에게 AI 작업 도구 앤티그래비티의 최상위 사용량을 6개월간 무료로 제공한다. 구글 리서치는 11월 13일 외부 과학자와 개발자가 제미나이 4를 이용해 여러 AI에 연구 작업을 나누거나 기술 문서를 검토할 수 있다고 밝혔다. 10월 13일 시작한 지원 사업의 신청서에는 지금까지 신청이 2만7,000건을 넘었고 첫 3,000명의 과학자에게 상향된 이용 권한을 부여했다고 적혀 있다.

지원은 비상업적 과학 연구를 하는 개인을 대상으로 한다. 대학이나 학위 수여 기관, 비영리 연구기관, 국립연구소에 현재 소속된 연구자가 신청할 수 있다. 구글은 연구자의 이력과 제안한 연구가 미칠 영향을 심사하며, 연구자 식별번호인 ORCID나 구글 스칼라 프로필 중 하나를 요구한다. 선정된 연구자는 앤티그래비티에서 제미나이 4 아르곤을 이용할 수 있다. 신청자는 관심 분야와 함께 지원받으면 어떤 연구에 도구를 쓸지 적는다.

같은 문제를 여러 AI에 나눠 맡기고 결과를 대조

앤티그래비티의 팀워크 기능은 구글이 8월 31일 제미나이 3.7 플래시를 쓰는 방식으로 소개한 바 있다. 11월 발표에서 구글 리서치는 이 방식을 제미나이 4로 연구에 적용할 수 있다고 안내하면서 논문에서 맡긴 작업을 공개했다. 공식 제품 문서는 팀워크와 부스트를 앤티그래비티 앱과 명령줄 도구의 유료 기능으로 안내한다. 팀워크에서는 하나의 문제에 대해 여러 AI가 각각 접근법을 조사하고 다른 AI가 중간 결과를 검토한다. 부스트에서는 앞 단계의 답을 토대로 다음 단계를 진행하고, 별도 검토가 구현 내용과 시험 결과를 점검한다.

구글이 공개한 사례 중 하나는 코르타드·쿠마르 추측에 관한 증명이다. 0과 1로 된 입력을 보내는 과정에서 각 자리가 같은 확률로 독립적으로 뒤집힌다고 가정한다. 이때 원래 입력을 0이나 1 하나로 요약한다면, 수신한 신호와 가장 많은 정보를 공유하는 요약 방식은 무엇일까. 이 추측은 주어진 조건에서 입력의 한 자리를 골라 그대로 쓰는 방식이 최대값을 얻는다고 본다. 연구진은 길이에 관계없이 이 결론이 성립한다는 증명을 9월 21일 사전공개 논문으로 냈다.

구글에 따르면 홍콩중문대 연구진은 문제를 14개 변수의 최적화 문제로 줄이고 핵심 하한을 제시했다. 연구팀은 이어 팀워크로 변수의 범위를 나눠 살피고 수치 검증에 필요한 증빙을 만들었다. 논문에 따르면 수치 계산의 증빙을 포함한 전체 증명은 형식 검증 도구인 린으로 확인됐다. 린은 결론에 이르는 각 단계가 미리 정한 규칙을 따르는지 검사한다. 같은 추측의 증명을 제시한 다른 연구진의 논문 두 편도 9월 21일과 22일에 각각 제출됐다. 린은 논문에서 코드로 옮긴 명제를 검사하므로, 코드에 적힌 명제가 원래 수학 문제와 같은지는 연구자가 확인한다.

지원받는 계정은 신청서에 낸 계정 하나

구글은 연구자가 개인 구글 계정과 소속 기관의 워크스페이스 계정 중 하나로 신청할 수 있다고 안내한다. 어느 쪽을 쓰든 지원은 신청서에 적은 계정에 귀속된다. 기관 계정을 선택하면 그 기관이 앤티그래비티 사용을 허용해야 한다. 계약 단위도 신청자 개인이다. 연구기관이 전체 구성원에게 배포하는 제미나이 엔터프라이즈 이용권은 이 사업에 포함되지 않는다.

구글이 신청서에 공개한 선발 방식은 수용 가능한 인원에 맞춰 매주 선정자를 추가하는 것이다. 선정된 사람에게만 연락한다고 안내했으며, 전체 신청을 마감할 날짜나 차기 선정 인원은 제시하지 않았다. 신청서에는 처음 신청하는 사람이 어떤 시점에 결과를 알 수 있는지도 나와 있지 않다. 주요 오픈소스 과학 소프트웨어를 관리하는 연구자는 기여 기록을 선택 사항으로 낼 수 있다. 구글은 유지관리 이력을 확인하면 신청을 우선 심사한다고 안내한다.

팀워크와 별도로 구글 리서치가 10월에 선보인 딥 리뷰는 기술 문서를 받아 검토 의견과 관련 근거를 돌려준다. 딥 리뷰의 10월 공개 공지에 따르면 이용자에게 주당 두 차례 무료 검토가 제공된다. 저자는 작성한 원고를 맡기고, 검토 의견이 지목한 대목이나 인용 자료가 실제로 그 판단을 뒷받침하는지 확인할 수 있다.

구글은 증명을 컴퓨터가 검사할 수 있는 형식으로 옮기는 작업 방식도 향후 앤티그래비티에 넣겠다고 밝혔다. 9월 논문에서 검증에 사용한 린 코드와 수치 증빙은 이미 공개돼 있다. 이와 별도로 외부 사용자가 같은 종류의 작업을 맡길 수 있게 되는 날짜는 11월 공지에서 제시되지 않았다.