GPT-5.6 used a prompt to close a 30-year gap in convex optimization