Google Research shows Antigravity's /teamwork solving open math problems

Google Research detailed how academic teams used Antigravity's /teamwork multi-agent pattern to prove open math conjectures, formalize massive proofs, and rewrite hundreds of thousands of lines of systems code in Rust.

Google Research announced on November 13, 2026 that teams at Google and academic partners CUHK, USC and CMU had used Antigravity's /teamwork multi-agent orchestration pattern to make progress on genuinely unsolved research and engineering problems, as described in Google Research's post on Antigravity's /teamwork feature.

Concrete results from the /teamwork pattern

Proved the 2013 Courtade-Kumar conjecture in information theory in full generality
Generated 1.8 million lines of Lean formalizing the Weil conjectures using 28,800 subagent calls
Formalized a proof of Hilbert's tenth problem spanning more than 919,000 lines of Lean
Reached 95 percent top-1 and 100 percent top-3 exact-match accuracy on NMR molecular structure determination using 30 specialized chemistry agents
Rewrote about 800,000 lines of the Zircon microkernel and the roughly 170,000-line libgav1 video decoder into Rust, with libgav1 running 20 to 30 percent faster than the original code
Built FarArray, a distributed system that scales to 1-trillion-edge graphs with 60 to 90x throughput gains

What it means for people who build with AI

These results frame /teamwork as a demonstration of multi-agent orchestration doing genuine novel work, including new math proofs, large formal-verification efforts and systems rewrites, rather than as an incremental model release. For people building with AI, it is evidence that orchestrating many specialized agents together can move research and engineering problems forward at a scale and speed that single-agent workflows have not shown.

Free access for academic researchers

Google is offering 10,000 academic researchers six months of free access to Gemini 4 Argon, Carbon and Hydrogen, along with Antigravity's /boost and /teamwork patterns, opening the approach to a broad academic audience.

Sources

Advancing science & engineering with Antigravity's /teamwork (Google Research, November 13, 2026, official)

Written with AI assistance, strictly from the sources listed above. Before it went live, automated checks verified its dates, sources and every language edition.