OpenAI is claiming its internal general-purpose reasoning model may have disproved the Erdős unit distance conjecture, a longstanding question in discrete geometry. Outside review is central to that ...