Google DeepMindLaunchDevelopersAugust 31, 2026

Google Antigravity Teamwork solves 7 open math problems

Read original source →blog.google

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.

How this story unfolded

1 day · 2 reports · 1 community post · from Aug 31

  1. Aug 31
  2. Sep 1

More stories today

Open the live feed