> Why not? If mathematicians in the field cannot understand the papers, but tools at our disposal can (...)

How can you tell?