What happened
Google says researchers and engineering teams used Gemini 4 models with Antigravity’s /teamwork to tackle open problems and production tasks, reporting results across formal proofs, molecular structure prediction, software rewrites, and TPU kernel optimization. Researchers and developers can use Gemini 4 with /teamwork and /boost in Antigravity today; Google also opened applications for six months of free access to its highest usage tier for 10,000 academic researchers.
Why it matters
The post describes how parallel agents, independent verification, and task-specific context were applied across proofs, chemistry, and systems engineering, with concrete results and access details for researchers and developers.