A1intelligence — канал об искусственном интеллекте

Вышел язык программирования, который помогает блокировать ошибки ИИ — Bend 2. Вместо того, чтобы ловить баги уже в работающей программе, Bend 2 позволяет требовать от ИИ доказательств, что код соблюдает заданные правила ещё до запуска. В специальном файле LAWS.bend прописываются формальные правила, которые нельзя нарушать: ИИ пишет доказательства их соблюдения, а компилятор проверяет эти доказательства. Если изменения нарушают правила или корректного доказательства нет, проверка не пройдёт. Это снижает риск того, что ИИ случайно сломает важную логику вашего проекта. Но проверку нужно запускать после изменений, а её гарантии распространяются только на свойства, которые вы формально описали, — от всех возможных багов она не защищает. Идея интересная, но реализация пока сырая. Формулирование правил и написание доказательств требуют дополнительной работы. Стандартная библиотека небольшая, нет отладчика и полноценной поддержки редакторов. Сами авторы предупреждают о возможных ошибках в компиляторе и признают, что он ещё не прошёл полный аудит. Поэтому пока это скорее инструмент для экспериментов, чем готовая гарантия надёжности любого проекта. Код, примеры и список ограничений — на GitHub. #полезныеинструменты #opensource