Google says Antigravity solved seven open problems

Google says its Antigravity Teamwork framework and Gemini 3.7 Flash solved seven open problems, including a Lean-verified 40-plus-page proof, and reached 71% on TCSBench, per Google’s update. The same multi-agent run built a cycle-accurate RISC-V simulator with 0.71% cycle-alignment error and doubled insert throughput in ParlayHash. Builders can file this as evidence that long-horizon agent swarms are moving toward research and systems work; Google’s earlier Antigravity enterprise bundle shows where the product is being packaged, but these claims remain vendor-reported rather than a reason to switch workloads today.