Provavelmente eu deveria ter dado um título mais clicante, tipo: Resolvemos alucinação de IA!* * no contexto restrito do ML científico** ** usando um monte de verificação formal, demonstração automatizada de teoremas e teoria aplicada das categorias