Google Research, 멀티 에이전트 시스템 Antigravity…

Google Research가 수학, 화학, 시스템 엔지니어링의 미해결 과제를 인간 전문가와 협업하여 해결하기 위해 설계된 멀티 에이전트 시스템 Antigravity /teamwork를 공개함
생성 예측 가능성과 컨텍스트 분산이라는 LLM 한계를 극복하기 위해 반증자(Lean 4, 테스트 스위트)를 활용한 병렬 탐색과 전문 에이전트 간 컨텍스트 분할, 클린 컨텍스트 크리틱을 적용함
수학 분야에서는 Courtade–Kumar 추측(Lean 4 5,000만 줄 형식화)과 Weil 추측(Lean 4 180만 줄 형식화)을 증명하고, 적응형 데이터 분석, 양자 컴퓨팅, 정수 곱셈의 미해결 문제도 해결함
소프트웨어 엔지니어링 분야에서는 Zircon 마이크로커널과 libgav1 비디오 디코더를 메모리 안전한 Rust로 재작성하여 C++ 및 수동 최적화 어셈블리 대비 20-30% 속도 향상을 달성하고, JAXBench에서 기하 평균 4.09배 속도 향상을 기록하며 TPU 커널을 최적화함

Google Research, 멀티 에이전트 시스템 Antigravity /teamwork 공개