Искусственный интеллект представил решение задачи Навье-Стокса, которая является одной из семи задач тысячелетия, установленных Клэем. Это решение включает в себя как текстовое описание, так и формальное доказательство, выполненное с использованием системы Lean.
Задача Навье-Стокса касается уравнений, описывающих движение вязкой жидкости, и остается нерешенной с 2000 года. Разработка AI-решения открывает новые перспективы в области математического моделирования и теоретической физики, что может привести к значительным прорывам в понимании динамики жидкостей.
Это событие имеет важное значение для научного сообщества, так как решение задачи может повлиять на множество областей, включая гидродинамику и инженерные науки. Применение искусственного интеллекта в решении таких сложных математических проблем подчеркивает его потенциал в исследовательской деятельности и возможности для дальнейших открытий.