GPT-5.6 used a prompt to close a 30-year gap in convex optimization
AI-assisted mathematicsLean verificationconvex optimization30-year-old problemmathematics breakthrough.
Author: mbustamanter
Date: 7/18/2026
Article Summary:
A mathematician collaborated with AI to solve a 30-year-old problem in convex optimization, using a 10-page prompt and Lean verification.