Gelişmiş Araştırma ve İcat Ajansı (ARIA), bir İngiliz Ar-Ge birimi, yapay zeka alanında "nicel güvenlik garantileri" planlarını açıkladı. ARIA, nükleer enerji ve havacılık sektörlerinde olduğu gibi standartlar geliştirmeyi hedefliyor ve makine öğrenme eylemlerinde zararın meydana gelmeyeceğine dair olasılıksal garanti sağlıyor. Ajans, projeye 59 milyon sterlin yatırım yapacak ve elektrik şebekesi dengeleme veya tedarik zinciri yönetimi gibi belirli bir alan üzerinde ölçeklenebilir bir konsept kanıtı sunmayı planlıyor. Nihai hedef, kritik altyapı iyileştirmesi ve klinik deney optimizasyonu gibi yüksek riskli yapay zeka uygulamalarını güven altına almaktır. ARIA'nın yaklaşımı, diğer yapay zeka ajanlarının belirlenmiş sınırlar içinde çalışmasını sağlayan bir "kapı bekçisi" yapay zeka içermektedir. Program direktörü David Dalrymple, kripto para birimi Filecoin'i birlikte icat etmiş olan ve ticari ve akademik kavramları bir araya getirerek bu yaklaşımı oluşturmuştur.

Derin disiplinler arası işbirliği kritik öneme sahip olacak, bu da ARIA'yı ABD Pentagon'un araştırma birimi DARPA'ya benzer kılıyor. ARIA'nın projesi, formel doğrulama kullanarak hacklenemez yazılım oluşturmayı hedefleyen DARPA'nın HACMS programından esinlenmiştir. Bu kavram, bilgisayar bilimcisi Yoshua Bengio tarafından yapılan "nicel güvenlik garantileri" çağrısıyla da uyumludur. Bu proje başarılı olduğunda, ARIA'nın bütçe ve finansmanıyla ilgili soruları ele alması potansiyel olarak mümkün olabilir. ARIA, son zamanlarda başka bir programla yapay zeka eğitimi maliyetlerini önemli ölçüde azaltmayı amaçlayarak, beş yıl boyunca 800 milyon sterlinlik bir fon almayı başarmıştır.