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.
1 source
AI Models by email
Get an email when there's news on AI Models
No news that day, no email.
More stories today
- Meta builds AI 'second brain' that learns from experts
- Snowflake shares surge 22% on AI coding momentum
- Gary Marcus critiques Musk's AI prediction shift
- Lutnick says Anthropic has patched relations with US government
- HPE lifts sales forecast on AI server demand