OpenAI Reports Internal Model Disproved an 80-Year-Old Geometry Problem

OpenAI has publicly reported that an internal general-purpose reasoning model autonomously disproved the Erdős unit distance problem, an open question in discrete geometry that had stood for roughly 8...