Подъём
«Новая эра в математике, в которой пока не ясна роль самих математиков». Математик заявил, что решение нейросетью «задачи тысячелетия» открывает новую эпоху в науке.
Американская корпорация OpenAI заявила, что её модель на основе искусственного интеллекта смогла решить уравнения Навье — Стокса, которые считают одной из семи «загадок тысячелетия». На это потребовалось 88 часов, задействовано было около 10 тыс. агентов.
Доцент Математического института им. В.А.Стеклова РАН Дмитрий Фроленков ответил изданию «Подъём», что для математического сообщества важнее уже не само решение этой задачи, а то с какой скоростью совершенствуется ИИ. Развитие нейросетей, по словам эксперта, ставит новые вопросы пред учёными.
«Пару лет назад он мог решать только школьные задачи, год назад ИИ научился решать задачи олимпиады, а теперь он решает сложнейшие математические задачи. Это открывает совершенно новую эру в математике, в которой пока не ясна роль самих математиков. Сможет ли ИИ не только генерировать решения задач, комбинируя уже придуманные идеи, или сможет и самостоятельно их разрабатывать? Будет ли у всех математиков равный доступ к нему? Ведь, судя по заявлениям компании, для решения задачи Навье — Стокса были потрачены очень большие вычислительные ресурсы».
Фроленков отметил, что обычно математики скептически относятся к таким заявлениям, однако тут было представлено не только само доказательство, но и его формальная проверка компьютерной системой Lean, что может говорить о верности вычислений.
«Стоит отметить, что задачу всё же решили не до конца, а для полного решения, видимо, необходимы новые идеи, с конструированием которых ИИ пока справляется не так хорошо».
Уравнения Навье — Стокса позволяют описывать движение вязкой ньютоновской жидкости. В OpenAI утверждают, что взялись за задачу 1 сентября, услышав слухи, что математики Бакмастер и Альпеге решили эту задачу с помощью нейросетей. Бакмастер со своей стороны считает, что OpenAI в решении опиралась на результаты их работы ещё до её публикации.
Подписывайтесь на «Подъём» в MAX. Если у вас установлено приложение,
вы можете сразу перейти в канал