If you have a validator for if a JPEG is a valid proof in mathematics, and can generate lots of "plausible" JPEGs, then you can arrive at hew results in mathematics.
replyA few years ago it might have been. You have to judge assertions in the context of when they were made. Obviously some things have changed.
replyIt's a good line! It's even sort of useful. It's just not the whole story.
reply