“For 50 years, mathematicians have believed that the total number of real numbers is unknowable.”
Two rival axioms about infinity were supposed to be competitors. Asperó and Schindler proved one implies the other. That makes both more likely true and puts the continuum hypothesis in trouble. The missing step came to Asperó while staring out a car window on holiday. Math still runs on long drives and luck.