🔒Открыть пост
и посмотреть медиа
и посмотреть медиа
🤖 GPT-5 Pro помог решить математическую задачу, остававшуюся нерешённой 42 года
Профессор Эрнест Рю из Калифорнийского университета в Лос-Анджелесе сообщил, что вместе с моделью GPT-5 Pro доказал сходимость ускоренного метода Нестерова — одного из основных алгоритмов выпуклой оптимизации, предложенного ещё в 1983 году.
ИИ предлагал кандидаты на ключевые математические конструкции, а Рю отбирал и оформлял их в строгие теоремы. С помощью модели он смог построить убывающие энергетические функции, доказав, что алгоритм действительно сходится к единственному минимуму — как в непрерывной, так и в дискретной версии.
По словам профессора, около 80 % идей ИИ были бесполезными, но оставшиеся 20 % дали новые зацепки. Вся работа заняла менее недели и около 30 часов личного времени.
Рю подчеркнул, что это не пример замены математика машиной, а демонстрация того, как ИИ может стать ускорителем научного поиска, избавляя исследователей от рутинного перебора гипотез и помогая сосредоточиться на сути доказательства.