I think Donaldson's work on gauge-theoretic invariants for smooth 4-manifolds was also considered miraculous by topologists at first (as probably was Witten's introduction of SW invariants which are roughly equivalent in power to Donaldson invariants and MUCH easier to work with).