Early retirement : Does AI mean less years worked per lifetime?