For years these billionaires gushed obsessively about AI. But they meekly went along when Trump cancelled the term.