Tao's blog is a nice example of human interpretation of math. He explains in an understandable but rigorous way beyond what would just be in a journal paper (or the output of an AI).