Provavelmente eu deveria ter dado a isto um título mais chamativo, como: Resolvemos a alucinação da IA!* * no contexto restrito de ML científico** ** usando um monte de verificação formal, prova automática de teoremas e teoria das categorias aplicada