მანქანა დაზვერვის კვლევითი ინსტიტუტი (MIRI), ყოფილი სინგულარობის ინსტიტუტი ხელოვნური ინტელექტის (SIAI), არის არაკომერციული ორგანიზაცია, რომელიც დაფუძნდა 2000 კვლევის უსაფრთხოების საკითხებზე განვითარების ძლიერი AI. MIRI- ის ტექნიკური დღის წესრიგშია ნათქვამი, რომ საჭიროა ახალი ფორმალური ხელსაწყოები, რათა უზრუნველყონ AI პროგრამული უზრუნველყოფის მომავალი თაობების უსაფრთხო ოპერაცია (მეგობრული ხელოვნური ინტელექტი). ორგანიზაცია რეგულარულ სამეცნიერო სემინარებს მასპინძლობს ამ პროექტში მათემატიკურ საფუძვლებს, და მოჰყავს როგორც რამდენიმე აკადემიური და არაკომერციული ჯგუფი, რომლებიც სწავლობენ გრძელვადიანი AI შედეგებს. [501 (გ) (3) ორგანიზაცია][ბერკლი, კალიფორნია] |