Weil conjectures

Google has expanded its Antigravity multi-agent system into Teamwork, a Gemini-powered framework that pairs parallel specialist agents with independent critic and reviewer agents. It formalized the Weil conjectures in roughly 1.8 million lines of Lean code across about 28,800 sub-agent calls, reproduced a formal proof on finite-time blowup for the 3D Navier-Stokes equations, and delivered verifiable results in molecular structure identification and a C++ to Rust rewrite of its libgav1 decoder.