After mass layoffs, IRS to plug holes with AI