GPT-5.6 used a prompt to close a 30-year gap in convex optimization old.reddit.com 5 points by mbustamanter 26 minutes ago