Вы были почти там. Я сделал снимок у плеера и увидел, что имя объекта в потоке не просто «120315_Tokeida.m4v», но «mp4: 120315_Tokeida.m4v»
URL тогда:
rtmp://sv-stream.stanford.edu/math/mp4:120315_Tokeida.m4v
MPV может отобразить это,
редактировать: моя версия vlc не будет работать правильно, иногда зависает, иногда работает
Эта команда работает:
rtmpdump -r "rtmp://sv-stream.stanford.edu/math" -y "mp4:120315_Tokeida.m4v" -o ~/Desktop/tokeida.m4v