Fun fact: The idea of AMM was originally invented to solve the liquidity problem of prediction markets. The 'Logarithmic Market Scoring Rule' proposed by Robin Hanson in 2002 is the prototype of AMM. However, the vast majority of current prediction markets use order books.