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.
More from AGI Musings
- "Yes, It's Lazy. That's the Point": Pushing Back on Humanoid Robot Housework Critics — VraserX · 2026-10-18
- Jason Furman: optimistic on AI productivity, skeptical firms can profit from it — sebkrier · 2026-10-18
- 562 AI PM job postings split into 4 roles — Model PM tops pay at $345K median — aakashgupta · 2026-10-18
- Longevity influencer: this is the last decade dying of old age is 'normal' — rand_longevity · 2026-10-18
- Only 85% of Anthropic hours and 76% of OpenAI workdays are agentic — yacineMTB · 2026-10-18
- Anthropic investor briefing leak spooks markets as KOSPI plunges 7.57% in a day — Exponential View (Azeem Azhar) · 2026-10-18