Pull to refresh
Logo
Daily Brief
Following
Why Ranks Sign Up
Kevin Weil

Kevin Weil

Former Chief Product Officer, OpenAI; former head of OpenAI for Science

Appears in 1 story

Stories

AI systems begin producing original mathematics

New Capabilities

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 16 hours ago