SatelightUnresolvedGPT-5.6 used a prompt to close a 30-year gap in convex optimization18 July 2026 at 15:00 CESTRead full release on SatelightUC Berkeley