Шлях до безпечного ШІ: дослідник з MIT пропонує математично доводити безпеку коду

Фізик та дослідник штучного інтелекту Макс Теґмарк з Массачусетського технологічного інституту (Massachusetts Institute of Technology, MIT)