The speaker believes the mathematical community should reconsider its assumption that mathematical writing always expresses intended meaning exactly, describing the evidence as humbling.

“So the, the process of-- You know, I think this is quite humbling. I think as the c-- as a community, uh, you know, we should take a look and we, we should step back and think, well, actually, you know, we say we've got this precise formal language where we can express exactly what we mean.”