Comment by groundzeros2015

They care about if it’s true. But the role of the formal proof is a kind of spell checker or static analysis after they have the idea.