After OpenAI’s CDC proof announcement, GPT-5.6 used a similar prompt to close a 30-year gap in convex optimization, verified in Lean

u/Charuru 2026-07-18 UTC

GPT‑5.6 leveraged a prompt