Você estava quase lá. Tomei uma captura do player e vi que o nome do objeto no fluxo não é apenas "120315_Tokeida.m4v", mas "mp4: 120315_Tokeida.m4v"
O URL é então:
rtmp://sv-stream.stanford.edu/math/mp4:120315_Tokeida.m4v
mpv pode exibi-lo,
edit: minha versão da vlc não funciona corretamente, às vezes ela trava às vezes funciona
Este comando funciona:
rtmpdump -r "rtmp://sv-stream.stanford.edu/math" -y "mp4:120315_Tokeida.m4v" -o ~/Desktop/tokeida.m4v