The Innermost Loop

The Singularity has just cut out the middleman in Erdős’s quip that mathematicians are “machines for turning coffee into theorems.” An internal OpenAI model has disproved Erdős’s longstanding planar unit distance conjecture in discrete geometry, contradicting decades of belief that square grids were optimal.