Zeitgeist has researched numerous AMM models to find one that suits our needs. We have been revisiting the MSR AMMs, in particular the Logarithmic Market Scoring Rule (LMSR) invented by Robin Hanson through his prediction market research, and have developed a rule specifically for such markets.