I had just assumed that this was Neal working more necessary maths into the book with an amusing anecdote attributed to Turing.

Given that this blog post is from this year, I’m going to continue to assume as much.