AIは「万能の神」にあらず。数学者が「AIに決して解けない問題」を考案