Google opens research agent tools and reports verified software rewrites

Google says external researchers and developers can now use Gemini 4 models with Antigravity's /teamwork and /boost tools, which coordinate agents to solve and check research and engineering tasks. It also opened applications for 10,000 academic researchers to receive six months of free access to its highest usage tier. The company reports that a two-week agent campaign rewrote the remaining C++ code in the Zircon microkernel after an initial 25% port, adding about 800,000 lines of safe Rust that pass all kernel unit tests and boot on arm64 hardware. The workflow schedules modules after their dependencies compile and checks them against unmodified tests. That rewrite workflow and additional formal proof tools are still forthcoming.