Грубый перебор OpenAI в доказательстве Навье-Стокса бросает вызов математическому искусству
Материал подготовлен искусственным интеллектом на основе нескольких источников — ссылки на оригиналы приведены ниже.
OpenAI использовала тысячи агентов для решения проблемы существования и гладкости Навье-Стокса — математической головоломки, которой уже несколько десятилетий. Математики считают, что подход грубой силы сокращает вдумчивый, художественный процесс математического открытия. Доказательство не имеет практического применения, но вызывает опасения по поводу подрыва человеческого понимания.
Ключевые факты
- OpenAI заявила, что использовала тысячи агентов для решения проблемы существования и гладкости Навье-Стокса.
- Уравнения Навье-Стокса были разработаны учёными XIX века для описания течения вязких жидкостей.
- Джасприт Сингх Сандху, математик из Университета штата Колорадо, сравнил математиков с художниками и музыкантами, которые уже столкнулись с disruption от ИИ.
- В эссе 1940 года «Апология математика» Г. Х. Харди утверждал, что математикой следует заниматься ради неё самой, отдельно от приложений.
- Джаред Спек, математик из Университета Вандербильта, сказал, что математики занимались проблемой из-за её «математического богатства» и «головоломного аспекта», а не ради инженерии.
Доказательство грубой силой
OpenAI подошла к доказательству Навье-Стокса методом грубой силы, используя тысячи агентов. Этот метод сокращает вдумчивый, deliberate процесс, которому обычно следуют математики. Джасприт Сингх Сандху, математик из Университета штата Колорадо, отметил, что художники и музыканты уже пережили подобное disruption от ИИ. Доказательство решает головоломку, которая интересовала математиков десятилетиями, но не имеет практического применения.
Математика как искусство
Английский математик Г. Х. Харди писал в эссе 1940 года «Апология математика», что математик, как художник или поэт, создаёт узоры. Харди выступал за занятия математикой ради неё самой, отдельно от приложений, особенно военных. Он привёл высказывание Карла Фридриха Гаусса о теории чисел как воплощении красивой, бесполезной математики. Теория чисел позже оказалась ценной для протоколов шифрования, используемых для защиты электронной почты и банковских счетов.
Головоломка Навье-Стокса
Уравнения Навье-Стокса были разработаны учёными XIX века для описания течения вязких жидкостей. Инженеры используют эти уравнения для моделирования воздушных потоков при проектировании самолётов. Джаред Спек, математик из Университета Вандербильта, сказал, что главный интерес математиков к уравнениям был не инженерным. Они занимались проблемой из-за её «математического богатства» и «головоломного аспекта», по словам Спека. Решение не поможет спроектировать более аэродинамичное крыло самолёта.
1 источник
Время · отставание