Google Research mostra como /teamwork do Antigravity resolve problemas matemáticos abertos

O Google Research informou em 13 de novembro de 2026 que equipes do Google e dos parceiros acadêmicos CUHK, USC e CMU usaram o padrão de orquestração multiagente /teamwork do Antigravity para avançar em problemas de pesquisa e engenharia genuinamente não resolvidos, conforme descrito na publicação do Google Research sobre o recurso /teamwork do Antigravity.

Resultados concretos do padrão /teamwork

• Demonstrou-se em plena generalidade a conjectura de Courtade-Kumar da teoria da informação de 2013
• Foram geradas 1,8 milhão de linhas de código em Lean formalizando as conjecturas de Weil com 28.800 chamadas de subagentes
• Foi formalizada uma demonstração do décimo problema de Hilbert com mais de 919.000 linhas de Lean
• Atingiu-se 95 por cento de precisão top-1 e 100 por cento de precisão top-3 na determinação de estruturas moleculares por RMN usando 30 agentes químicos especializados
• Cerca de 800.000 linhas do microkernel Zircon e o decodificador de vídeo libgav1 (cerca de 170.000 linhas) foram reescritas em Rust, com o libgav1 rodando de 20 a 30 por cento mais rápido que o código original
• Foi construído o FarArray, um sistema distribuído que escala para grafos com 1 trilhão de arestas, com ganhos de vazão de 60 a 90 vezes

O que isso significa para quem constrói com IA

Esses resultados apresentam o /teamwork como uma demonstração de orquestração multiagente realizando trabalho genuinamente novo, incluindo novas demonstrações matemáticas, grandes esforços de verificação formal e reescritas de sistemas, em vez de um lançamento incremental de modelo. Para quem constrói com IA, isso é evidência de que orquestrar muitos agentes especializados juntos pode fazer problemas de pesquisa e engenharia avançarem em escala e velocidade que fluxos de um único agente ainda não haviam mostrado.

Acesso gratuito para pesquisadores acadêmicos

O Google está oferecendo a 10.000 pesquisadores acadêmicos seis meses de acesso gratuito ao Gemini 4 Argon, Carbon e Hydrogen, além dos padrões /boost e /teamwork do Antigravity, abrindo essa abordagem para um público acadêmico amplo.

Fontes

• Advancing science & engineering with Antigravity's /teamwork (Google Research, 13 de novembro de 2026, oficial)

Escrito com ajuda de IA, apenas a partir das fontes listadas acima. Antes de ir ao ar, verificações automáticas conferiram as datas, as fontes e todas as versões de idioma.