Google opens Antigravity multi-agent tools to external users
Understand this story
Google has opened the /teamwork multi-agent workflow and /boost tool in Antigravity to external researchers and developers, usable with the Gemini 4 model; Deep Review is available the same day. Google says users can call Deep Review for free twice per week; it has also opened applications to provide up to 10,000 academic researchers with six months of free access to the highest usage tier. Google says new /teamwork rewrite mode and specialized workflows such as formal proof mode will be introduced to Antigravity in subsequent updates.
AI overview based on source reports · Updated 16 hr ago
Coverage timeline
Follow the coverage to explore different perspectives.
- Google ResearchFeaturedAdvancing science & engineering with Antigravity’s /teamwork
Google describes how multi-agent workflows in Antigravity's /teamwork, built on Gemini 4 models, produced results on open problems including a full proof of the 2013 Courtade–Kumar conjecture formalized in Lean 4, a machine-checked formalization of the Weil conjectures spanning about 1.8 million lines of Lean, and 95% top-1 accuracy on molecular structure determination from NMR data. The post also reports engineering gains such as a memory-safe Rust rewrite of the Zircon microkernel adding about 800,000 lines, a libgav1 Rust port that became 20-30% faster than the original C++, and fleet-wide memory savings surpassing initial estimates of 1 PiB. Google says the tools are available to external researchers and developers in Antigravity today, with 10,000 academic researchers offered six months of free access to its highest usage tier.
Activity for this story
- Current comparable activity
- 6
- Peak comparable activity
- 10Nov 14 06:00
- Change in the past 24 hours
- –
Trends compare the same fully observed participants, which may cover fewer participants than current activity. Move the pointer or tap the chart to inspect hourly activity; use the left and right arrow keys with a keyboard.