Модель GPT-5.6 Sol Pro успішно створила математичне доведення, яке вирішує давню проблему складності в детермінованій опуклій оптимізації нульового порядку. Використовуючи спеціалізований запит, модель визначила оптимальність квадратичної залежності від розмірності, нарешті розв’язавши задачу, яка залишалася відкритою з 1996 року.