ИИ закрыл 30-летнюю проблему оптимизации, следуя методологии OpenAI

Исследователь из UC Berkeley заявляет, что модель GPT 5.6 Sol Pro закрыла 30-летнюю проблему в теории выпуклой оптимизации за 148 минут. Методика промптинга основана на подходе OpenAI к доказательству CDC, результат верифицирован в Lean, но работа ещё не прошла рецензирование.