And Stephenson then went on to mention, through Randy and his uncle (or was it his father?) that the problem itself was incredibly difficult, and they were going to borrow some time on a huge machine to solve it.

And then Randy cheated, anyway.