"I used ChatGPT to solve an open problem in convex optimization."