Muhtemelen buna daha tıklama yemeği başlığı vermeliydim, mesela: Yapay zeka halüsinasyonunu çözdük!* * bilimsel makine öğreniminin dar bağlamında** ** bir dizi biçimsel doğrulama, otomatik teorem kanıtı ve uygulamalı kategori teorisi kullanılarak