Mathematician, University of Manchester
Appears in 1 story
One of nine outside verifiers of the proof
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
No stories match your search
Try a different keyword
How would you like to describe your experience with the app today?
