It is telling though, that even someone like Aaronson, who presumably understands Kolomogorov complexity a 1000 times better than I ever will, doesn't have a mo

It is telling though, that even someone like Aaronson, who presumably understands Kolomogorov complexity a 1000 times better than I ever will, doesn't have a more rigorous way of establishing the "look, no fudgin here" criterion.