Maybe, for once, the government is not actually lying to us. I found a few speed run videos for Super Mario Bros. that were clearly using assisting tools to cheat, but I did find this one, that I am including below, that felt legit. In it, the player (Andrew Gardikis) completes his run in four minutes and fifty-eight seconds.
Super Mario Bros. Speed Run – 4:58.14 *World Record*
And if you have any questions about something you noticed in this video, Andrew pretty much answers all of them in the about section of this YouTube video, as well.