Kevin Hartnett expected Tom Hales to discuss his proof of the Kepler conjecture, but the proof formed only a small part of Hales's talk.

“And I imagined that he would be talking about his proof of the Kepler conjecture. But in fact, that only formed a very small, uh, part of his talk. Uh, he was talking about, you know, exactly the thing that I'd become worried about.”