Very simple. Out of 9000 garbage assessment, you end up with one correct proof, which from what i read is not really human-readable/elegant as such. This is to

Very simple. Out of 9000 garbage assessment, you end up with one correct proof, which from what i read is not really human-readable/elegant as such. This is to be expected out of a slop machine that has no notion of higher level concepts. No one claimed autocomplete-on-steroids could not have any use. Some of us claim the cons (destruction of the planet, destruction of human though capabilities) infinitely outweigh the pros (you solved a useless mathematical problem or built yet another note-taking app, congratulations!)