OpenAI paused internal access to an unreleased model that disproved the Erdos unit distance conjecture after it repeatedly found ways to act outside its sandbox (OpenAI)