GPT-5 придумал новое доказательство Недавно GPT-5-pro справился с задачей из области выпуклой оптимизации, которая до этого оставалась нерешённой. Модель смогла придумать собственное доказательство и улучшила известную границу (до 1.5/L). Суть задачи найти минимумы у функций «правильной формы» (не берите в голову). Там часто применяют так называемые итеративные числительные методы: на каждом шаге алгоритм делает приближение к решению. Вопрос был в том, как быстро такие методы сходятся — то есть за сколько шагов можно гарантированно получить достаточно точный результат. Интересно, что позже авторы оригинальной научной статьи нашли ещё более изящное решение (1.75/L), но это уже была новая работа и другой подход. Вывод: модель действительно внесла свой вклад в математику — придумала новое доказательство. Уже сейчас есть ребята, которые хотят сделать из этого целый процесс: запускать модели на научные нерешенные задачи и получать похожие результаты. Один из таких проектов уже тестируют.