Adiabatic Machines bets on cold chips to tackle AI’s power problem