Google Antigravity's Teamwork AI solves 7 open math problems

Antigravity's Teamwork multi-agent framework, paired with Gemini 3.7 Flash, solved seven open problems in mathematics and theoretical computer science, including Knuth's Cycles Conjecture (verified in Lean), and scored 71% on TCSBench. It also produced a cycle-accurate RISC-V CPU simulator and optimizations merged into Eigen and ParlayHash.