All it took was a prompt from an internal OpenAI model to disprove a conjecture made by the late Hungarian mathematician Paul Erdõs (see pic) about a puzzle he posed, known as the unit-distance ...