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