OpenAI’s internal AI system recently delivered a proof resolving the Erdős unit distance conjecture, a problem in discrete geometry that had resisted human solution since […]