GPT-5 придумал новое доказательство Недавно GPT-5-pro справился с задачей из области выпуклой оптимизации, которая до этого оставалась нерешённой. Модель смогла придумать собственное доказательство и улучшила известную границу (до 1.5/L).

Суть задачи найти минимумы у функций «правильной формы» (не берите в голову). Там часто применяют так называемые итеративные числительные методы: на каждом шаге алгоритм делает приближение к решению.

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

Интересно, что позже авторы оригинальной научной статьи нашли ещё более изящное решение (1.75/L), но это уже была новая работа и другой подход.

Вывод: модель действительно внесла свой вклад в математику — придумала новое доказательство.

Уже сейчас есть ребята, которые хотят сделать из этого целый процесс: запускать модели на научные нерешенные задачи и получать похожие результаты. Один из таких проектов уже тестируют.