OpenAI сообщила, что её модель GPT-5.6 внесла решающий вклад в закрытие теоретического пробела в выпуклой оптимизации, остававшегося открытым около 30 лет.
Речь идёт о расхождении между верхней и нижней теоретическими оценками сложности алгоритмов выпуклой оптимизации — на протяжении трёх десятилетий математики не могли доказать, что известные границы совпадают. GPT-5.6, по словам OpenAI, предложила рассуждение, которое закрывает этот разрыв.
Новость быстро разошлась за пределы блога OpenAI: её обсуждают на Reddit и Hacker News, где комментаторы разбирают ход доказательства и спорят, насколько он строг.
Официальной независимой проверки математическим сообществом пока не было — как и в других случаях с громкими заявлениями ИИ о решении открытых задач, окончательный вывод можно будет сделать только после того, как доказательство построчно проверят специалисты по выпуклой оптимизации.
