> "He was a whiz with formulas and I think [his aim was] to construct those near counter-examples to Fermat's last theorem. So he developed a theory to find these near misses, without recognizing that the machine he was building, those formulas that he was writing down, would be useful for anyone, ever, in the future."
> "He was a whiz with formulas and I think [his aim was] to construct those near counter-examples to Fermat's last theorem. So he developed a theory to find these near misses, without recognizing that the machine he was building, those formulas that he was writing down, would be useful for anyone, ever, in the future."