Google Antigravity + Gemini 3.7 Flash resolvem problemas em aberto de matemática e engenharia

O framework Antigravity do Google, combinado com o Gemini 3.7 Flash, resolveu sete problemas em aberto nas áreas de matemática e ciência da computação em conferências e periódicos de destaque, como FOCS e JMLR — incluindo a Conjectura de Ciclos de Knuth, verificada no Lean com provas formais completas. O sistema de trabalho em equipe multiagente também desenvolveu um simulador de CPU RISC-V com precisão de ciclo, capaz de inicializar o sistema operacional xv6 com um erro de alinhamento de ciclo de 0,71%; alcançou 71% de desempenho no TCSBench; e implementou otimizações incorporadas (*upstream*) nas bibliotecas Eigen e ParlayHash, dobrando a taxa de transferência de operações de inserção.

https://blog.google/innovation-and-ai/technology/developers-tools/antigravity-teamwork-multi-agent/?utm_source=futuretools.io&utm_medium=newspage