The flagship case is AI itself, where we rely on benchmarks, not proofs (how could one prove "is good at seducing people").

Something that could have qualified as a "CS discovery" would have been, for example, a SAT or SMT solver that dwarfs in performance any existing one.

Something that could have qualified as a "physics discovery" would have been a new particle. Anyway, something that would come out of experimental data.