Probablemente debería haberle dado un título más sensacionalista, como: ¡Hemos resuelto la alucinación de la IA!* * en el contexto limitado del ML científico** ** utilizando un montón de verificación formal, demostración automática de teoremas y teoría de categorías aplicada