GPT-5.6 подсказал решение 30-летней проблемы выпуклой оптимизации

Сообщение о том, что языковая модель GPT-5.6 помогла закрыть многолетний пробел в теории выпуклой оптимизации, появилось на форуме r/math на платформе Reddit. Согласно публикации, речь идёт о задаче, остававшейся нерешённой на протяжении тридцати лет.

Авторы обсуждения связывают достижение с недавним анонсом OpenAI, касающимся доказательства CDC (сокращение расшифровывается по-разному в зависимости от контекста обсуждения). По их словам, решение было получено благодаря удачно сформулированному запросу к модели GPT-5.6.

Новость получила заметный отклик в сообществе: на агрегаторе Hacker News публикация набрала 164 балла и вызвала 83 комментария. Пользователи обсуждали как саму математическую составляющую заявленного результата, так и более широкий вопрос о роли больших языковых моделей в решении открытых научных задач.

Подробности самого доказательства, а также независимая проверка результата математическим сообществом в доступном описании не приводятся. Обсуждение сосредоточено главным образом на факте использования ИИ-модели как инструмента для генерации или проверки решения, а не на техническом содержании самой задачи.

Случаи, когда языковые модели предлагают нетривиальные шаги в решении математических проблем, в последнее время привлекают всё больше внимания — как со стороны исследователей, так и со стороны широкой аудитории, следящей за развитием возможностей современных ИИ-систем.

Источник: Hacker News