from the first 'quora' link

"Petr almost never submits any solution without having a rigorous proof even when good mathematical intuition is enough and the proof is hard."

wow! reading this brings home how much I still have to learn. Humbling.