Por Que AMMs Falharam em Mercados de Previsão

Constant product AMMs (x*y=k) falham em mercados de previsão porque a resolução binária para 0 ou 1 transforma o impermanent loss em uma anulação estrutural garantida para os LPs que detêm cotas perdedoras. Adicionalmente, a fórmula de função constante distorce a precificação de probabilidades por meio do slippage nos tokens de resultado.

O Polymarket, que inicialmente utilizava um AMM baseado em LMSR, migrou para um central limit order book no final de 2022 para contornar essa mecânica. O desafio de design em aberto é replicar as vantagens dos AMMs, especificamente a criação de pools permissionless e a provisão passiva de liquidez, sem uma fórmula de função constante que não consegue sobreviver à resolução binária.