How two outsiders tackled the mystery of arithmetic progressions