While computers have as yet contributed little to pure mathematical theory, they have been used to test certain relationships among numbers.

• 尽管计算机对纯数学理论贡献尚少，但它们已被用来检验数与数之间的某些关系。