Основатель криптовалютного проекта Cardano Чарльз Хоскинсон заявил о неожиданно быстром развитии искусственного интеллекта в области высшей математики. По его словам, современные языковые модели демонстрируют выдающиеся способности в создании и формальной проверке** сложных математических доказательств, что значительно превзошло его первоначальные ожидания.

В ходе недавнего выступления разработчик обсудил заявления компании OpenAI о возможном решении проблемы Навье-Стокса* с помощью нейросетей. Хоскинсон подчеркнул, что подобное достижение способно фундаментально изменить парадигму науки. При этом он предупредил предпринимателей и экспертов об угрозе потери интеллектуальной собственности при работе с облачными моделями. «Если вы делитесь своими идеями в облаке с передовыми моделями ИИ, они больше не ваши», — отметил создатель Cardano, призвав использовать приватные среды для защиты конфиденциальных данных.

Ранее Хоскинсон основал центр формальной математики при Университете Карнеги-Меллона и предполагал, что технологии будут лишь помогать большим группам специалистов эффективнее сотрудничать. Однако способность искусственного интеллекта самостоятельно писать доказательства стала для него сюрпризом. Разработчик добавил, что умение алгоритмов брать чужую работу, улучшать ее и доводить до решения сложной задачи является очень человекоподобным поведением.

*Проблема Навье-Стокса — одна из семи «задач тысячелетия» в математике, которая касается описания движения вязкой жидкости. Решение этих уравнений имеет фундаментальное значение для физики и инженерии, однако до сих пор не найдено общего аналитического метода их решения.

**Формальная проверка — метод доказательства правильности алгоритмов или математических утверждений с использованием строгих логических правил и специализированного программного обеспечения. В отличие от обычной проверки, она исключает человеческую ошибку, так как каждый шаг подтверждается математической логикой.

Подпишись на MP в MAX