The mathematicians expected computer-generated mathematics to diverge from human-discovered mathematics, beginning near the rational numbers on the progression of human mathematical understanding.

“If you were kind of advancing along the kind of the human understanding of math, starting at the rational, it's almost at the very, very, uh, beginning. They expected computer math would diverge from kind of what has become, you know, human discovered math.”