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

Sur Reddit, un utilisateur rapporte avoir utilisé GPT-5.6 pour combler un gap connu de 30 ans en convex optimization. À prendre au sérieux - mais à cadrer.

Le fait

Un thread r/math (relayé sur Hacker News le 17-18 juillet 2026) rapporte qu'après l'annonce OpenAI CDC (sigle non explicité dans la source du thread), un utilisateur a utilisé GPT-5.6 pour attaquer un gap ouvert depuis 30 ans en optimisation convexe. Le titre du thread : « GPT-5.6 used a prompt to close a 30-year gap in convex optimization ».

Notre lecture

Deux choses distinctes à séparer :

1. Le résultat - s'il est confirmé par une preuve mathématique vérifiée par des tiers (arXiv preprint, revue par un journal), c'est un vrai jalon. Un modèle général qui contribue à un problème ouvert n'est plus une démo, c'est un outil.
2. Le cadre - un thread Reddit n'est pas une revue par les pairs. Le récit peut aussi être une contribution incrémentale (fermeture d'un cas particulier) plutôt qu'un breakthrough. À date du 18 juillet 2026, les détails techniques restent à documenter.

Contexte : OpenAI avait annoncé un travail « CDC » en amont - le récit d'un utilisateur qui prolonge ce fil sur un problème adjacent est cohérent, mais ne remplace pas la vérification formelle. La signification exacte du sigle CDC n'est pas explicitée dans la source du thread - à confirmer sur le communiqué OpenAI officiel avant toute réutilisation.

À surveiller

• Publication d'une preuve formelle vérifiable (arXiv).
• Réaction des chercheurs du domaine (Boyd, Nesterov et al.).
• Reproductibilité par un autre modèle frontier.