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