К нейросетям в наше время все относятся по-разному. Кто-то считает, что они опасны для человечества, а кто-то уверен, что с ними жизнь стала проще. Никто не знает, к чему приведет развитие искусственного интелекта, но недавно в математическом сообществе произошло одно важное событие: ученый вместе с ИИ решил 40-летнюю математическую задачу. Подробнее об этом рассказывает научное сообщество ВКонтакте Black Science (18+).
Итак, профессор Эрнст Рю из Калифорнийского университета использовал GPT-5 Pro для решения фундаментальной проблемы оптимизации — доказательства сходимости ускоренного метода Нестерова, над которой математики бились с 1983 года. По запросу ученого ИИ генерировал математические конструкции, предлагая десятки вариантов. 80% идей оказались бестолковыми, но остальные 20% давали ключевые зацепки.
В итоге за 30 часов совместной работы было найдено доказательство сходимости как для классического алгоритма Нестерова, так и для современного метода OGM. Без нейросети эта работа заняла бы несколько недель. Даже сам профессор признался, что перестал бы бороться с задачей уже на третий день.
