Google's new AIS team unveils DuoDiscover with 4.09x kernel speedups and LEAP formalizing Weil conjectures
VioletNPeng · x · 2026-11-15
A researcher who took a sabbatical from UCLA to join Google introduces the new AIS (Agents for AI-Infra and Science) team, betting on AI for Discovery by co-designing models and agentic frameworks to optimize ML/AI infra and tackle frontier scientific problems.
Two projects are featured on the Google Research Blog and rolling out to all users via Antigravity's /teamwork:
- DuoDiscover (systems optimization): achieved a 4.09x average speedup across 17 JAXBench kernels, and beat hand-tuned baselines with a 2.99x average speedup on vLLM TPU Pallas kernels.
- LEAP (formal math): autonomously generated 1.8M lines of Lean to complete an end-to-end formalization of the Weil conjectures, achieving a first… (truncated)
More from AGI Musings
- Oought-Backed Epistemics Fund Offers $500k–$5M Grants for Truth-Seeking Tools — NathanpmYoung · 2026-11-15
- Researcher now runs AI detector Pangram on papers before deciding how carefully to read — TuhinChakr · 2026-11-15
- Founder: building a bank run by agents, serving agents, defended by agents — neal_lathia · 2026-11-15
- LessWrong essay argues forecasting is way overrated and should stop being funded — JacquesThibs · 2026-11-15
- AI researcher clashes with philosophy fans: frontier AI problems dwarf Hegel — fkasummer · 2026-11-15
- 38% of new arXiv papers now flag as AI-written, up from 0.4% pre-LLM baseline — GenerativeFart · 2026-11-15