Some Recent Progress in AdS/CFT