Gemini 3.7 Flash agents in Antigravity solve open math problems and build a RISC-V simulator

An August 31 blog.google post reports pairing Gemini 3.7 Flash with Antigravity's Teamwork multi-agent framework, which runs collaborating agent teams over hours or days. The system solved seven open problems from venues including FOCS and JMLR (among them Knuth's Cycles Conjecture, verified in Lean with 40+ page proofs), scored 71% on TCSBench, built a cycle-accurate out-of-order RISC-V CPU simulator that boots xv6 with 0.71% cycle-alignment error, and landed upstream Eigen and ParlayHash performance patches.