Using AI, historians track how astronomy ideas spread in the 16th century