I suppose it depends on how narrowly you are defining philosophy. But the fact is that we can write computer programs to verify many more kinds of mathematical proofs than we can philosophical "proofs".