Мнение. Регуляторная гильотина позволит заменить судей на программный код

Дмитрий Хизбуллин ведущий инженер ключевых направлений в Huawei:

Как инженер-программист я однозначно поддерживаю концепт приведения юридических текстов в формализованный вид.

Приведу пример стартапа, успешно применяющего юридический мета-язык на практике. Речь идет о Pactum AI, технологическом стартапе из Эстонии, основанном в 2019 году и уже привлекшем $15 млн финансирования. До 2018 года я работал с со-основателем Pactum - Кристианом Корьюсом (Kristjan Korjus) - в другом эстонском стартапе. Идея Pactum в том, чтобы формализовать процесс согласования контрактов между отделом закупок и поставщиками. Для этого требуется формализовать договоры на поставку и параметризовать их по множеству величин, в частности стоимости единицы продукции, количеству единиц, пени за просрочку и тп. Далее требуется формализовать ценовую политику заказчика. Ключевой момент в том, что эта стадия согласуется один раз между заказчиком и Pactum.



Также бот имеет право заполнить и подписать контракт, таким образом полностью заменяя работу десятков людей в отделе закупок.



Причем если в странах с непрецедентным правом достаточно будет подвергнуть регуляторной гильотине только правовые акты, то в странах с прецедентным правом потребуется перевод в машиночитаемый формат в том числе и всей огромной записи прецедентных решений судов.

Уже сейчас существуют так называемые методы формальной верификации (к примеру, Z3-solver от Microsoft), которые могут доказывать истинность проверяемого утверждения, имея формализованную базу из верных утверждений. В данный момент они применяются в разработке ПО, а так же электроники, однако имеют достаточную общность, чтобы подтвердить или опровергнуть юридические формулировки, имея документы, подвергнутые регуляторной гильотине.