ResearchGoogleConfirmed
Story 8 of 15 in the Friday 13 November editionGoogle details /teamwork proofs and opens 10k free researcher grants
Multi-agent /teamwork harnesses on Gemini 4 formalise open maths proofs in Lean 4 and rewrite C++ kernels in safe Rust across Google Research’s 13 November 2026 report.
Edited by Ashutosh Shrivastava
14 Nov 2026, 09:50 IST · 3 min read
Building on the existing /teamwork, /boost and Deep Review tools inside Google Antigravity, Google Research published new mathematics, chemistry and systems-engineering results on 13 November 2026 alongside open applications granting 10,000 academic researchers six months of free access to Google’s highest usage tier. Paired with Gemini 4 Argon, Gemini 4 Carbon and Gemini 4 Hydrogen plus objective falsifiers such as Lean 4, spectral simulators and hardware counters, /teamwork isolates context across dedicated producer, critic and auditor agents.
Lean 4 formalisations, NMR structure solving and C++-to-Rust ports
Working with CUHK, USC and CMU mathematicians, /teamwork’s Stellar Colosseum pattern proved information theory’s 2013 Courtade-Kumar conjecture in 50 million lines of Lean 4, while /teamwork-LEAP autonomously formalised Pierre Deligne’s 1974 Weil conjectures in 1.8 million lines across 28,800 subagent calls. In chemistry, 30 specialised agents coupled to a physics-informed NMR simulator reached 95% top-1 and 100% top-3 molecular structure accuracy.
A dependency-ordered /teamwork rewrite workflow, scheduled to reach external Antigravity users alongside the formal-proof pattern in upcoming updates, ported the remaining C++ of the Zircon microkernel into 800,000 lines of safe Rust booting on arm64 and rewrote Google’s libgav1 AV1 decoder into 170k lines of Rust running 20% to 30% faster than C++ and hand-tuned assembly. DuoDiscover sped up 17 JAXBench TPU kernels by 4.09 times geomean, while internal runs saved over 1 PiB of fleet RAM and cut Borg TPU preemption by 24%.
Study details
- Academic access programme
- Applications open for 10,000 academic researchers to receive 6 months free on highest usage tier
- Models and falsifiers
- Gemini 4 Argon, Carbon and Hydrogen paired with Lean 4, NMR simulators, unmodified tests and timers
- Available vs staged patterns
- /teamwork, /boost and Deep Review (2 free weekly calls) live; formal-proof and Rust-rewrite patterns upcoming
- Additional kernel benchmarks
- 2.99x geomean speedup across 7 vLLM TPU-Inference Pallas kernels via 23-second DuoDiscover yardsticks
Release details & context
STOC 2027 Deep Review trial and autonomous hill-climbing benchmarks
Beyond theorem proving and Rust migrations, Google Research reported that authors of 578 STOC 2027 submissions (over one-third of the conference pool) opted into Deep Review manuscript checks; across 70 surveyed authors, 90% rated the feedback mostly or almost all factual and over 30% reported catching substantive proof bugs or mathematically significant typos.
In distributed systems and game search, Argon /teamwork campaigns built the FarArray kernel-bypass PGAS library (scaling connected components to 1-trillion-edge graphs at 6x lower RAM) and climbed a scratch 9x9 AlphaZero Go engine by roughly 2,600 Elo to 1,885 Elo in under eight days via a 2,300x self-play speedup.
Common questions
Was Antigravity’s /teamwork feature itself brand-new on 13 November 2026?
No, /teamwork, /boost and Deep Review were already available in Antigravity; the 13 November release published new Argon research results, opened 10,000 six-month academic grants and previewed upcoming formal-proof and C++-to-Rust rewrite patterns.
How did DuoDiscover optimise JAX and Pallas TPU kernels when full hardware evaluations take up to 32 minutes?
Four parallel agents built 23-second proxy evaluators called yardsticks and continuously validated their candidate rankings against periodic full TPU runs using Kendall’s rank correlation.
Sources
Google release timeline (30 launches tracked)
- Google AI Studio adds self-hosted sandboxes for Gemini Managed Agents
Google enables bring-your-own self-hosted sandboxes for Gemini Managed Agents in Google AI Studio and the Gemini API.
- Google rolls out the Gemini app with hands-free Gemini Live on Apple CarPlay
Google launches the Gemini app globally on Apple CarPlay so iPhone drivers can run hands-free Gemini Live conversations and Workspace briefings.
- Google launches Gemini 4 Hydrogen for everyday coding and agents
Google launches Gemini 4 Hydrogen at $1.50/$7.50 per million tokens, beating Gemini 4 Argon on Artificial Analysis 5.0.1 at 51 and reaching 54 on xhigh.
- Google opens pre-orders for Gemini intelligent eyewear collections
Google opens pre-orders for Gemini intelligent eyewear built with Samsung, Gentle Monster and Warby Parker with a 12 MP 3K camera and 9-hour battery.