Аннотация:
Обсуждаются проблемы, связанные с компьютерными проверками теоретико-числовых гипотез. Предлагаются новые машинные способы нахождения простых чисел близнецов, совершенных и дружественных чисел, разложения Гольдбаха и проверки гипотезы Кармайкла.