Additions with unique digits: a tale of puzzling and AI