Google AI agents just cracked Knuth's cycles conjecture
Google just paired its Antigravity Teamwork framework with Gemini 3.7 Flash, allowing autonomous agent teams to solve seven open math and computer science problems, including Knuth's Cycles Conjecture verified in Lean. The multi-agent setup also built an out-of-order RISC-V CPU simulator from scratch that boots xv6. Why it matters: Multi-agent systems are moving past simple coding scripts into genuine scientific discovery and complex systems engineering.