GPT‑5.6 leveraged a specially crafted prompt to bridge a 30‑year unresolved gap in convex optimization, as highlighted in OpenAI’s recent CDC proof announcement. The approach demonstrates how language models can directly contribute to theoretical advances in mathematical optimization. Read original