They can prove we don't live in the specific type of simulation they are testing for.

But they have no reason to believe we are in that type of simulation, they just figured out a way to falsify that type of simulation.

1 down, an infinite number to go!