Mathematicians Have Developed a Computing Problem That AI Can Never Solve