The speaker says mathematical papers in practice rely partly on expert readers inferring intended meaning through shared understanding.

“But in practice, uh, reading recent mathematical papers, we, we do see that there's a certain amount-- there is a certain amount of people speaking to other experts and just knowing-- Experts sort of know what humans mean when they say things.”