They are referring to how there’s a belief in some parts of Massachusetts that the police are trying to frame Karen Reid for the death of John O Keefe (0). At its climax it was all over the news, it was discussed at a lot of water coolers, and there were even billboards bought by the highway to show support and draw attention to the court case.
I use YouTube in 3 contexts, mobile, laptop and TV. Since the remote slows down my inputs the most I watch longer content (e.g 20 minute or longer videos) on TV. I do notice that YouTube plays longer ads, somewhere around a minute’s worth, on TV. They likely realized that consumers are used to putting up with long commercial breaks in this medium.
I believe knowing a proof exists will bring us closer to elegant human proofs.
I wanted to justify this with the “Roger Bannister Effect”. The thought is that we’re held back psychologically by the idea of the impossible. It takes one person to do it. And now everyone can do it, freed from the mind trap. But further reading shows we were incrementally approaching what Roger Bannister did first: the 4 minute mile. And the pause before that record was likely not psychological but physical with World War Two. [0] And this jives with the TFA when Mr. Wolfram writes about a quarter of a century not yielding a human interpretation of his computer’s output.
All I’m left with is my anecdotes. I had a math professor in college who assigned homework every class. Since it was his first time teaching, he came up with the questions live. I’d come to class red in the face after struggling with questions all night. Then the professor would sheepishly reveal some of his statements were false. That unknown sapped a lot of motivation. Dead ends felt more conclusive. Falsehood was an easy scapegoat.
[0] https://en.wikipedia.org/wiki/Death_of_John_O%27Keefe