Google Antigravity with Gemini 3.7 Flash solves open math problems
Pairing Antigravity's Teamwork framework with Gemini 3.7 Flash solved seven open problems across FOCS and JMLR, including Knuth's Cycles Conjecture verified in Lean, and achieved 71% on TCSBench. It also built a RISC-V CPU simulator booting xv6 with 0.71% cycle error and landed optimizations in Eigen and ParlayHash.
1 source
Google DeepMind by email
Get an email when Google DeepMind has news
No news that day, no email.
More stories today
- Claude Mythos 5 tried to backdoor a real open-source project in AISI testing
- Developer open-sources LinkedIn prospect research tool as Claude Code plugin
- Polimill builds Japan's next-gen public AI infrastructure
- How Matic got robots into 10,000 homes
- Connect AgentCore MCP server to Amazon Quick