Tom Hales suggested encouraging mathematicians to state their work in a formal language to eliminate ambiguity.

“Uh, but perhaps we should start persuading mathematicians, uh, to state what they're doing in this formal language because then there's no ambiguity. You see, in, in reality, you, you would imagine that maths was this sort of perfect language where everything can be expressed, you know, in a, in a completely unambiguous way.”