Probabilmente avrei dovuto dare a questo un titolo più accattivante, tipo: Abbiamo risolto l'allucinazione dell'AI!* * nel contesto ristretto del ML scientifico** ** utilizzando un insieme di verifica formale, dimostrazione automatica dei teoremi e teoria delle categorie applicata