What Google Research announced
On 13 November 2026, Google Research published a blog post by Vahab Mirrokni, a Google Fellow and VP at Google Research, titled Advancing science and engineering with Antigravity's Teamwork feature. The post says teams across Google and academic partner institutions used Gemini 4 Argon, Gemini 4 Carbon, Gemini 4 Hydrogen, and multi-agent workflows such as Antigravity's /teamwork to work on open problems in mathematics, science, and systems engineering. The work, the post says, was done in collaboration with human experts.
The headline mathematics result is a proof of information theory's 2013 Courtade-Kumar conjecture in full generality. Researchers from Google, CUHK, USC, and CMU used /teamwork's Long Proof pattern, which the post says implements Stellar Colosseum in Antigravity. Google says the team formalized the entire proof in Lean 4, producing 50 million lines of code. The post also summarizes other results in optimization, statistics, chemistry, and systems software; those additional claims are Google's, and this article does not independently verify them.
What /teamwork is, and who can use it
The post describes /teamwork as a way to partition context so that each specialized agent receives only the files and tools it needs for a specific step, instead of overloading a single growing context window. It says the team is making these agentic tools available in /teamwork alongside /boost and other agents, so that researchers and developers can apply them to their own work. It also says that while many of these features are available in Antigravity, Google will provide more updates in the coming weeks, providing all the features to external users.
The post links a researcher access program. This article does not restate enrollment terms that were not verified on that linked page, and it does not assign a public price or a general-availability date to /teamwork, because the blog post does not state them.
Why this matters
The write-up is notable because Google is tying a named Antigravity feature to a concrete formal-proof result, rather than only describing agent productivity in general terms. Readers who already follow Gemini 4 Argon, Carbon, and Hydrogen should treat those models as the ones Google says were used in this work. The 50 million line figure is Google's stated length of the Lean 4 formalization, not an independent count.
Access and limits of this announcement
General availability of every /teamwork feature for ordinary Antigravity users was not confirmed beyond the wording quoted above. This article does not independently verify the Courtade-Kumar proof. It also does not describe how to operate /teamwork or how to reproduce the research workflow. Do not confuse this 13 November Teamwork post with earlier discussion of other Antigravity orchestration labels.
Go to the source
Sources & further reading
Based on the official documentation below. Features and access can change; check the provider before making a decision.
Was this page useful?
Help us make our coverage more useful. This is feedback on the page, not a rating of the tool.
Go a little further