Пентагон будет тестировать программное обеспечение вооружений с помощью игр

Пентагон будет тестировать программное обеспечение вооружений с помощью игр

 Подрядчики Пентагона вербуют учёных Университета Вашингтона и исследовательской компании Galois для разработки компьютерных игр, которые бы позволяли проводить тестирование программного обеспечения вооружений на наличие различного рода ошибок и уязвимостей.

Финансирование проекта осуществляет Управление перспективного планирования оборонных научно-исследовательских работ США (DARPA), в рамках программы Crowd Sourced Formal Verification. В ходе эксперимента планируется создать специальные логические игры для ноутбуков и мобильных устройств и выпустить их в свободную продажу. Найденные игроками в процессе игры решения позволят специалистам Пентагона проводить формальную верификацию применения математических теорий, что позволит определить, имеются ли в тестируемом программном коде ошибки и уязвимости.

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

На реализацию проекта DARPA планирует потратить $4,7 млн. в 2012 финансовом году и $32 млн. в 2015 финансовом году.

 Подрядчики Пентагона вербуют учёных Университета Вашингтона и исследовательской компании Galois для разработки компьютерных игр, которые бы позволяли проводить тестирование программного обеспечения вооружений на наличие различного рода ошибок и уязвимостей." />

В США решили запретить браки с ИИ, пока чат-боты не потребовали развода

Американские законодатели пытаются заранее лишить искусственный интеллект юридической правосубъектности, в том числе права считаться супругом или домашним партнёром. Поводом стал рост популярности приложений-компаньонов, пользователи которых уже устраивают символические свадьбы с чат-ботами.

Пока такие церемонии не признаются законодательством США. Однако отдельные сервисы позволяют обменяться виртуальными клятвами, а платформа OpenVows за $15 выдаёт сертификат обязательств.

Некоторые пользователи идут дальше и проводят свадьбы в реальном мире. С 2022 года в американских штатах предложили 23 законопроекта, ограничивающих возможные права ИИ.

Айдахо, Северная Дакота, Юта и Теннесси уже приняли нормы, запрещающие наделять системы правосубъектностью. Закон Теннесси прямо исключает ИИ, алгоритмы, программы, оборудование и машины из определения личности.

В Миссури сенатор-республиканец Джо Никола предложил закон, запрещающий ИИ получать права супруга, владеть имуществом, занимать руководящие должности и идентифицировать себя как мужчину или женщину. Документ прошёл сенат штата, но был единогласно отклонён комитетом палаты представителей. Автор готовит новую версию.

Похожий проект рассматривают в Огайо. Его сторонники хотят закрепить первенство человека в правовой системе. Критики опасаются, что слишком широкие ограничения затормозят инновации и усилят вмешательство государства.

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

RSS: Новости на портале Anti-Malware.ru