Kevin Weil

New Capabilities

As of May 2026: Left OpenAI on April 17, 2026, when the company dissolved its OpenAI for Science unit

For 80 years, mathematicians believed square grids were the best way to pack points at distance exactly 1 apart on a plane. On May 20, an internal OpenAI reasoning model produced a counterexample, using algebraic number theory to beat the grid by a small polynomial factor. Nine outside mathematicians verified the proof.

Updated May 24