GPT-5.6 aurait comblé un vide de 30 ans en optimisation convexe via un prompt

Un thread sur r/math évoque un résultat attribué à GPT-5.6 qui aurait permis de combler un écart théorique vieux de 30 ans en optimisation convexe, en écho à une annonce récente d'OpenAI concernant une preuve générée par IA. L'information provient d'une discussion communautaire et n'est pas confirmée par une source primaire ou une publication académique.