是的，国际奥林匹克数学比赛有一些视频。

一些数学比赛的组织者和参赛者会将比赛过程录制下来，并在网上发布。你可以在视频分享网站或数学相关网站上搜索国际奥林匹克数学比赛的视频。