For Tao, spending 10x time on aproof still means spending 5x less time than an average postdoc. He is incredibly fast and productive.