Outside of math and computational science, nothing is proven to not work because scientific research doesn't work in proofs. Even in math and computational science, there are fields dedicated to researching known proven wrong logic because sometimes there are interesting findings, like hypercomputation.