GPT-5.6 used a prompt to close a 30-year gap in convex optimization 478 points by mbustamanter 10 hours ago 308 comments story