Google Claims Gemini Solved 7 Open Math Problems, Including Knuth's Conjecture
burny_tech · x · 2026-09-03
Google announced that Antigravity + Gemini 3.7 Flash solved 7 open problems across venues like FOCS and JMLR, including Knuth's Cycles Conjecture with 40+ page proofs formally verified in Lean. The system also built an out-of-order RISC-V CPU simulator from scratch that boots xv6 to a shell. The claim is unverified by third parties and hasn't seen wide coverage yet.
More from Models
- Running Ling 3.1 Flash (560B MoE, 25B Active) Across 4 DGX Sparks via llama.cpp RPC — BerryBlush_Rogers691 · 2026-10-18
- Users press OpenAI on long-delayed Adult Mode a year after it was promised — ___Patrice___ · 2026-10-18
- Polymarket opens betting market on who releases the next Gemini Argon model — Polymarket · 2026-10-18
- Grok matter-of-factly lists which groups user was racist against, exempting Africans and Latin Americans — teortaxesTex · 2026-10-18
- A quick test for benchmaxxed demos: swap in Mirror's Edge and see if it generalizes — teortaxesTex · 2026-10-18
- Did OpenAI distill DeepSeek's gains? Benchmark shows OpenAI's Luna scoring just 38 — teortaxesTex · 2026-10-18