Pushmeet Kohli

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.

Ideas & essays