Renowned mathematician Joel David Hamkins says AI is useless for solving math