video on the birth of BASIC

[Thomas Okken]

There are two subtitle tracks, one done by a company called AST CaptionSync, and one automatically generated, presumably by YouTube using Google's ASR. It's easy to tell which is which.

AST CaptionSync probably uses ASR (automatic speech recognition) as well, but only to create the first draft, and then a human to fix the many errors and add punctuation, and then a second ASR pass to synchronize the transcript with the video, that last step undoubtedly being what the CaptionSync in their name refers to. Their web site hints at some aspects of their process but I didn't dive deeply into it to look for details.

But yeah, the human transcriber obviously hadn't heard of John von Neumann. He or she is a transcription specialist, not a mathematics or computer expert. Of course domain-specific transcription services do also exist, but they're a lot more expensive.