You get timer-based units that reduce the temperature at night (optionally also when you are at work). They cover a good chunk of the usecase and will give good amounts of savings. No Internet, mobile app or machine learning needed.