[kurlberg]

There is a joke saying "a mathematician says X, writes Y on the board and means Z". The really amusing(?) thing is that other mathematicians still (sort of) perfectly understands Z. Once you have enough experience you fill in the blanks automatically.

Math exposition is tricky: too few details and you're just floating in the sky, too many details and the audience loses sight of the forest for all the trees. You can go (more or less) all formal, but it's a pain for the writer and a pain for the experienced reader.

If it's any consolation, the punchline to the joke is that it often is small/big lie: the other mathematicians reads "Y" and goes WTF!? And then 1 minute, 1 hour, 1 day, or one week later says "aaah, that's what he/she meant! I guess it was 'obvious' all along". :-)

[kurlberg]

Even Terry Tao struggled at times: "When I was a graduate student in Princeton, Tom Wolff came and gave a course on recent progress on the restriction and Kakeya conjectures, starting from the breakthrough work of Jean Bourgain in a now famous 1991 paper in Geom. Func. Anal.. I struggled with that paper for many months; it was by far the most difficult paper I had to read as a graduate student, as Jean would focus on the most essential components of an argument, treating more secondary details (such as rigorously formalising the uncertainty principle) in very brief sentences."

More details at

https://terrytao.wordpress.com/2018/12/29/jean-bourgain/

(In particular, see the "???" in the Tao's annotated copy of Bourgain's paper.)