Reliable AI - From Mathematical Foundations to Next Generation AI Computing