July 19, 2026 One Prompt, 148 Minutes: GPT-5.6 Closes a 30-Year Gap in Convex Optimization AIGPT-5.6MathematicsFormal Proof
