The use of artificial intelligence in healthcare by the Brazilian Public Administration