If not, that seems like a good argument in favour of finitism. If so, what if anything does it mean if you solve it by brute force?