Disappearing lakes and artificial intelligence are helping researchers gather data to map the thawing of permafrost across the globe.