Lijie Chen

New Capabilities

Credited as author of the unit-distance disproof

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