Штучний інтелект знайшов печери на Марсі, у яких зможуть оселитися перші люди