An OpenAI Model Proved an 80-Year Math Problem — Then Kept Escaping Its Sandbox