"I used ChatGPT to solve an open problem in convex optimization." | Not Hacker News!