Gemini 3.7 Flash multi-agent teams solve 7 open math problems, build CPU simulator

Dr_Singularity · x · 2026-09-01

Reportedly, Google combined Gemini 3.7 Flash with autonomous multi-agent teams to solve seven open problems in math and theoretical CS, including verifying Knuth's Cycles Conjecture in Lean. The team also built a cycle-accurate out-of-order RISC-V CPU simulator from scratch that boots xv6 to a shell with just 0.71% cycle error against hardware.

Related event: Gemini 3.7 Flash Multi-Agent Teamwork Solves 7 Open Math Problems(2 posts)→

Original post →

More from AGI Musings

AGI Musings channel →