Наверное, мне следовало дать этому более кликбейтный заголовок, например: Мы решили проблему галлюцинаций ИИ!* * в узком контексте научного машинного обучения** ** с использованием множества формальных проверок, автоматического доказательства теорем и прикладной теории категорий