Il est probable que j'aurais dû donner un titre plus accrocheur, comme : Nous avons résolu l'hallucination de l'IA !* * dans le contexte étroit du ML scientifique** ** en utilisant un tas de vérification formelle, de preuve automatique de théorèmes et de théorie des catégories appliquée.