IT之家 reports Google expands Antigravity multi-agent system and opens Teamwork access

IT之家 reports that Google is expanding its Antigravity multi-agent system with Teamwork, a set of Gemini-powered specialist agents aimed at validating hard mathematical proofs and improving software performance. Google says the system formalized the Weil conjectures, reproduced a proof related to Navier–Stokes finite-time blowup, and helped solve the Courtade–Kumar conjecture. It also rewrote the libgav1 AV1 decoder from C++ to Rust. Google is opening Teamwork and the /boost workflow through Antigravity, with free access for up to 10,000 academic researchers for six months.