AI rally 'will drive HK stocks to 25,000 mark'