12 GPT-5.6 Sol Pro solves open problem in convex optimization (medium.com/kerger.p) 22 hours ago Cu3PO42 medium.com