GPT-5.6 Sol Pro успешно създаде математическо доказателство, което решава дългогодишен проблем в сложността на детерминираната изпъкнала оптимизация от нулев ред. Чрез специализирана заявка моделът определи оптималността на квадратичната зависимост от размерността, като най-накрая приключи задача, останала отворена от 1996 г.