구글, 장기 코딩용 제미나이 4 카본 공개

최근 30일 조회수 — 좋아요 —

핵심 요약

구글이 100만 토큰과 다중 에이전트를 지원하는 고성능 개발 모델 제미나이 4 카본을 공개했다.

구글이 복잡한 소프트웨어 엔지니어링과 장기 에이전트 작업에 초점을 맞춘 최상위 모델 제미나이 4 카본(Gemini 4 Carbon)을 유료 개발자에게 공개했다. 일상적인 개발과 지식 작업에는 기존 제미나이 4 아르곤(Gemini 4 Argon)을 계속 권장하지만, 여러 패키지에 걸친 마이그레이션이나 하위 시스템을 넘나드는 디버깅, 사이버보안, 과학 추론에는 카본을 앞세운다. 카본은 대규모 코드베이스와 긴 입력을 처리할 수 있도록 100만 토큰 컨텍스트 창을 지원한다.12

카본은 전체 스택 애플리케이션을 만들고 테스트·디버깅하며, 코드뿐 아니라 렌더링된 사용자 인터페이스도 확인한다. 구글은 카본이 CursorBench 4.0, 퍼플렉시티의 WANDR, 자피어의 AutomationBench에서 1위를 기록했고, 차순위 모델의 절반 미만 비용으로 과제를 마쳤다고 주장했다. 다만 더뉴스택은 이를 독립적으로 검증할 세부 자료가 부족하다고 지적했다.1

함께 공개된 /swarm은 구글 앤티그래비티(Google Antigravity)에서 하나의 프롬프트로 여러 코딩 에이전트를 조율하는 시험 기능이다. 에이전트끼리 문맥을 어떻게 공유하는지, 수정 사항이 충돌하면 어떻게 해결하는지, 어떤 작업에 경량 모델 대신 카본을 투입하는지는 공개되지 않았다.1

사이버보안 분야에서는 형식 검증 사례가 눈에 띈다. 구글 연구진은 에이전트 프레임워크 알파프루프 코드(AlphaProof Code)와 카본을 비롯한 여러 모델을 이용해 시그널(Signal) 암호 프로토콜 코드의 핵심 보안 속성을 수학적으로 증명했다. 보안 요구사항을 정리로 바꾸고, 증명 언어 린(Lean) 코드 수백만 줄을 생성하는 데 수년이 아닌 수주가 걸렸다는 게 구글 설명이다. 그러나 검증한 속성의 전체 범위와 사람의 개입 수준, 증명 결과물 공개 여부는 밝히지 않았다.1

가격은 11월 30일까지 입력 100만 토큰당 2달러, 출력 100만 토큰당 10달러로 아르곤과 같다. 이후 각각 4달러와 20달러로 두 배 오른다. 버셀(Vercel) AI 게이트웨이에서도 google/gemini-4-carbon으로 이용할 수 있다.12 실제 환경에서는 성능 향상이 가격 인상과 다중 에이전트 조율·검증 비용까지 상쇄하는지가 관건이다.

Footnotes

  1. The New Stack, “Google says its new AI proved Signal’s encryption in weeks” ↩ ↩2 ↩3 ↩4 ↩5

  2. Vercel Blog, “Gemini 4 Carbon now available on AI Gateway - Vercel” ↩ ↩2

읽기 목록은 이 브라우저에 저장됩니다.

출처

  1. Google says its new AI proved Signal’s encryption in weeks — The New Stack
  2. Gemini 4 Carbon now available on AI Gateway - Vercel — Vercel Blog

이 글은 위 출처를 근거로 자동 생성된 뒤 발행됐습니다. 원문을 함께 확인해 주세요.