Мабуть, мені слід було дати цьому більш клікбейтний заголовок, наприклад: Ми розв'язали галюцинації штучного інтелекту!* * у вузькому контексті наукового ML** ** використовуючи низку формальної перевірки, автоматизованого доведення теорем і прикладної теорії категорій