Google Antigravity agents tackle 90-year-old math problem and rewrite software
Google expanded its Antigravity multi-agent system, which uses teams of specialized agents powered by Gemini models. The system formalized the Weil conjectures in Lean, reproduced a formalization of a proof related to the Navier-Stokes equations, and rewrote the libgav1 decoder from C++ to Rust. Google made Teamwork and /boost available through Antigravity and opened applications for 10,000 academ
