Mathematicians discovered a computer problem that no one can ever solve