Automated systems often use the Name_Date_Time.mp4 format. If "iamjoyxs" is a username for a home security app (like Ring or Nest), this would be a specific event clip recorded at 1:37 PM.
On February 12, 2020, many creators were active on Instagram or TikTok. If this was a "Story" or a "Live" stream, it may have been saved with this timestamp format (MM-DD-YYYY) by a third-party downloader. iamjoyxs 02-12-2020 13.37.mp4
Look at the "Properties" or "Get Info" of the file to see the "Origin" or "Contributor" metadata. Automated systems often use the Name_Date_Time
Mobile devices often save screen recordings with the date and time included in the metadata. How to Retrieve Information iamjoyxs 02-12-2020 13.37.mp4