Taylor G. Lunt comments on $10,000 bounty for theorem refutation