O old.reddit.com GPT-5.6 used a prompt to close a 30-year gap in convex optimization 601 points mbustamanter 3 months ago 391 comments