When to use teamwork vs boost vs swarm?

Both take a long time. It used to be that antigravity was much faster than codex, but with recent releases it is substantially slower.

Inspecting the agents communication in teamwork, there seems to be an overwhelming amount of ceremony: BRIEF.md, specialized roles, multiple rounds of checking. Is all that necessary? Codex also uses agent “swarms” but unless they’ve hidden how the sausage is made, it doesn’t seem so heavyweight.

Here is a short list of example results reported on the post; again we will have dedicated Antigravity posts for some of these.

* Math Open Problems & Formal Verification: Reporting 10+ open math and CS theory problems solved including 50M-line Lean 4 proof of Courtade–Kumar conjecture plus progress on several open problems in quantum query complexity, Tarjan's Deque Conjecture.

  Also autonomous Lean formalizations of the Weil (1.8M lines), Birkhoff, and 3D Bochner–Riesz conjectures via Teamwork-LEAP, plus updates on Deep Review for STOC’27.

* Chemistry & Discovery: 95% top-1 exact match on NMR molecular structure elucidation (nearly 2× single-agent). Also empowering Nuclear Fusion and Quantum algorithm results as well autonomously generating a CausalAnalyst Benchmark. In addition, we show how /teamwork can start from Alphazero paper, implement a competitive go game, and autonomously improving it by playing with KataGo to get to the medium Elo level.

* Several Systems, TPU Kernel, & Infra: * Clustering 1-Trillion-edge graphs on FarArray and RDMA (up to 180× faster), * 800K-line Zircon & 170K-line libgav1 safe Rust rewrites (20–30% faster than C++/ASM), * 4.09× JAXBench TPU kernel speedups with DuoDiscover, * Google internal examples: surpassing 1 PiB fleet memory savings, and 24% fewer Borg TPU preemptions for Borg Scheduling.

Auto mode has been there for few versions, and recently (1-2 days ago?) became the default

There is (--mode auto), but you can't access it without restarting the harness. Even then, you'll get plenty of mother-may-I showstoppers. I had to resort to using the --dangerously-skip-permissions option to get anything done. The good news is that Carbon is a pretty awesome model once you do get it working.

Seems likely that the people who maintain Antigravity don't use Antigravity to do it. It has too many rough edges that would be trivial to fix if someone actually noticed them.

Not just overly detailed, it misses important hints that would help the reader and puts several things into one sentence in a way that the sentence is difficult to follow:

> For n-bit integer multiplication, multi-agent campaigns simplified the theoretical Turing-machine bound below n log n, while a separate effort gave a new O(n log n) algorithm on a single two-dimensional grid whose C implementation matches the GNU Multiple Precision Arithmetic Library (GMP) bit-for-bit up to a billion bits.

Is "simplify a bound" a normal wording? What does it mean to simplify a bound?

It is a shame that Gemini prose has become too detail dense in recent releases. Its prose was one of its distinct advantages over Claude with that annoying Claude speak...

It seems like they already announced /teamwork earlier [0], but now just announced that they got some scientific results out of it. They probably intentionally want to keep this low key, but in that case it's not clear why announce it at all.

[0]: https://antigravity.google/blog/teamwork-when-ai-becomes-a-r...

I'm pretty sure they didn't because of the following nonsensical sentence and how generally disorganized the post was:

"In under eight days, the engine gained roughly 2,600 Elo, reaching 1,885 Elo, placing it between KataGo at 16 and 32 visits per move."

It sounds like they're saying they now offer an option, "/teamwork", that will throw more computer at a problem by choosing a team and a workflow that you the user don't have to (or get to?) know about.

> I think the authors also used Antigravity to write this article, because it sucks at communicating whatever point it’s trying to make.

The pattern seems to be pervasive at Google. Too much Ai, not enough human, top-down orders

I’m not sure if they are that far behind given the integration forced into every single one of their consumer products but yeah their developer LLM focus has been very disappointing.

I still don’t understand why they don’t use their massive market position to give more value to Google workspace customers to have more access to their models for teasing higher value plans. The existing credits timeout before they even build a playwright scraper.

I also thought of what speedup the tool could produce for the C++ original