The speaker's concerns about whether machines could produce mathematics better than humans became part of Kevin Hartnett's account of the story.

“He, you know, he wanted to put together, you know, the people behind the story and what was going on. And so my midlife crisis, uh, where I started worrying about human generated mathematics and asking whether machines could do it better somehow played a role, uh, in Kevin's, uh, in the story that Kevin decided to tell.”