Antigravity /teamwork 연구 발표: 독립 검증 구조와 현재 제공 범위

Google Research가 2026년 11월 13일 Antigravity /teamwork의 새 연구 성과를 발표했다. 여러 에이전트가 후보를 만들고 별도의 검사 도구로 결과를 확인하는 방식이다. 공식 발표는 수학과 시스템 소프트웨어에서 얻은 결과를 소개하며 일부 전문 워크플로는 추후 제공한다고 밝혔다. 공식 연구 발표

생성과 검사를 나누는 구조

Google의 설명에 따르면 각 에이전트는 맡은 단계에 필요한 파일과 도구를 받는다. 비평·감사 에이전트는 결과를 만든 에이전트의 추론을 넘겨받지 않은 새 컨텍스트에서 결과를 확인한다. 검사 수단에는 Lean 4, 원본 테스트 모음, 시뮬레이터 등이 포함된다.

Google은 Weil 추측의 기존 증명을 약 180만 줄의 Lean 코드로 형식화했다고 보고했다. 이 수치와 기계 검사 통과는 연구진의 발표이며 이번 글에서 증명 코드를 직접 빌드해 재현하지는 않았다. 공식 설명에서도 형식화한 정리의 명제가 원래 수학 문제와 일치하는지는 사람이 확인해야 한다고 짚었다. 연구 결과와 검증 범위

지금 제공하는 기능과 예고한 기능

현재 Teamwork 문서는 유료 플랜의 Antigravity App과 CLI에서 /teamwork를 지원한다고 안내한다. 사용자는 목표를 입력하고 범위를 정하는 인터뷰를 거친다. 작성된 프롬프트를 승인하면 팀이 작업을 시작한다. 조정 에이전트는 작업을 마일스톤으로 나누며 구현과 검증을 담당하는 역할을 따로 둔다.

이용 가능 여부는 연구 사례별로 구분해서 읽어야 한다. 11월 13일 발표는 형식 증명 패턴과 추가 전문 워크플로를 향후 업데이트로 예고했다. 따라서 발표에 나온 모든 연구 구성을 지금 그대로 실행할 수 있다고 해석하기는 어렵다. 외부 제공 범위

Teamwork 자체는 새로 등장한 기능이 아니다. Google은 이미 8월 27일 글에서 유료 플랜의 /teamwork-preview와 여러 작업 패턴을 소개했다. 이번 소식은 후속 연구 결과와 기능 제공 계획이다. 당시 소개에서는 연구 실험의 병렬성이 기본 설정보다 높은 경우도 있다고 설명했다. 8월 제품 발표

개발 작업에서 먼저 정할 것

개발팀이 이 방식을 시험한다면 작업을 시작하기 전에 통과 조건을 적어두는 편이 좋다. 예를 들어 코드 이식이라면 원본 테스트를 수정하지 않고 통과하는지, 결과가 원본과 같은지부터 확인할 수 있다. 이는 위 구조를 개발 작업에 적용하기 위한 제안이다. 에이전트 수만으로 결과의 정확도를 판단할 근거는 없다.

이번 확인은 공식 발표와 문서를 대조한 범위에 한정한다. 실제 유료 세션의 비용, 작업 시간, 재현 성공률은 측정하지 않았다. 팀의 저장소에서 작은 작업 하나를 골라 검증 기준을 먼저 고정하면 도입 여부를 판단할 자료를 모을 수 있다.