Person

Pushmeet Kohli

2 entries · December 2023 – November 2026

Appears alongside

Featured in threads

Tracks

  • Ideas & essays 2

  1. DeepMind and Google Quantum AI report AI-discovered quantum programs verified in Lean

    Agent teams filled in Lean specifications; the abstract reports gains over prior baselines of 290x for quantum arithmetic and 11x, 8x and 2.5x for fusion, photochemistry and drug-metabolism simulations.

    Google DeepMindIdeas & essays

  2. FunSearch makes a mathematical discovery with an LLM

    Pairing a code-writing model with an automated evaluator produced a genuinely new cap-set construction and improved bin-packing heuristics.

    Google DeepMindIdeas & essays

Also mentioned in 1 entry

Referenced in passing — Pushmeet Kohli isn't the main subject of these.