GPT-5.6 and a 30-year gap in convex optimization: reading the result without the hype

On Reddit, a user reports having used GPT-5.6 to fill a known 30-year gap in convex optimization. To be taken seriously - but to be framed.

The fact

A r/math thread (relayed on Hacker News on July 17-18, 2026) reports that after the announcement of OpenAI CDC (acronym not explained in the thread source), a user used GPT-5.6 to attack a gap open for 30 years in convex optimization. The thread title: « GPT-5.6 used a prompt to close a 30-year gap in convex optimization ».

Our analysis

Two distinct things to separate:

1. The result - if it is confirmed by a peer-reviewed mathematical proof (arXiv preprint, journal-reviewed), it's a real milestone. A general model contributing to an open problem is no longer a demo, it's a tool.
2. The context - a Reddit thread is not a peer-reviewed journal. The story can also be an incremental contribution (closing a specific case) rather than a breakthrough. As of July 18, 2026, technical details remain to be documented.

Context: OpenAI had announced some "CDC" work beforehand - the story of a user extending this thread on an adjacent problem is consistent, but does not replace formal verification. The exact meaning of the CDC acronym is not explained in the thread source - to be confirmed in the official OpenAI press release before any reuse.

To watch

• Publication of a verifiable formal proof (arXiv).
• Reaction of researchers in the field (Boyd, Nesterov, and al.).
• Reproducibility by another frontier model.