A Mathematical View of Automated Market Maker (AMM) Algorithms and Its Future