Mathematical constellations shift, truth-gazers over their notes and proof assistants see ancient theorems break under their hands and panic