Why Does the Automated Market Maker (AMM) Mechanism Fail in the Prediction Market Field?

marsbitPubblicato 2026-04-14Pubblicato ultima volta 2026-04-14

Introduzione

The article explores why Automated Market Makers (AMMs), particularly the x*y=k model popularized by Uniswap, fail in prediction markets despite their success in decentralized finance (DeFi). AMMs excel in DeFi by enabling permissionless liquidity provision and continuous trading for tokens that fluctuate indefinitely. However, prediction markets involve binary outcomes where assets settle to either $1 or $0 at expiration. This structural difference causes inherent flaws: liquidity providers (LPs) inevitably suffer losses as pools automatically rebalance toward the losing side upon settlement—making "impermanent loss" permanent. Additionally, AMMs distort price discovery for probability-based markets due to slippage and low liquidity. Early prediction platforms like Polymarket and Augur experimented with AMMs but abandoned them for Central Limit Order Books (CLOBs), which better handle precise probabilistic pricing and binary settlements. The article concludes that while AMMs revolutionized token swaps, their mechanics are mismatched for prediction markets, requiring alternative infrastructure that accommodates binary outcomes and mandatory settlement.

Author: Melee

Compiled by: AididiaoJP, Foresight News

In July 2017, Hayden Adams was laid off by his employer Siemens, where he worked as a mechanical engineer. His college roommate Karl Floersch was working at the Ethereum Foundation at the time and often told him about smart contracts. Adams had previously paid no attention. Now unemployed and looking for something to do, he decided to listen.

The Birth of the Automated Market Maker (AMM)

Floersch recommended a blog post by Vitalik Buterin about running an on-chain exchange using a mathematical formula instead of an order book. The principle was not to match buyers and sellers, but to allow traders to exchange with a pool of assets, with the price automatically set based on the ratio of tokens in the pool. No working version existed at the time. Adams took it on as a learning project, received a $65,000 grant from the Ethereum Foundation, and launched Uniswap in November 2018.

Its formula was deceptively simple: x * y = k.

Two tokens are placed in a pool, and the product of their quantities remains constant. When someone buys one token, they must deposit the other token, changing the ratio within the pool and adjusting the price accordingly. No order book, no matching engine, no professional market makers needed. Anyone can deposit tokens into the pool and earn fees from every transaction.

The automated market maker thus became the cornerstone of decentralized finance. Uniswap, Curve, Balancer, and dozens of other protocols handle billions of dollars in trading volume. On-chain order books are slow and expensive, and traditional market makers have no interest in tokens with only two hundred holders. Automated market makers allow anyone to create a liquid market for any asset at any time. Before AMMs, listing a new asset required permission and infrastructure. After AMMs, all you need is a liquidity pool.

The benefits were obvious. So, prediction markets naturally tried to adopt them too.

Automated Market Makers and Prediction Markets

Prediction markets face the same cold-start problem as token markets. You need liquidity before people are willing to trade, and you need traders before people are willing to provide liquidity. Little known is that Robin Hanson had proposed an automated market making solution for prediction markets years earlier in his 2002 Logarithmic Market Scoring Rule.

He thought he had theoretically solved the cold-start problem. However, in practice, the solution suffered from the same fundamental issue that every subsequent attempt to automate liquidity for prediction markets encountered: the formula couldn't distinguish between perpetually fluctuating tokens and equity certificates that expire.

Prediction market outcomes are binary. They ultimately settle to one or zero. In a token swap pool, both assets can fluctuate indefinitely, and the AMM formula works precisely because neither token is designed to go to zero.

Early Polymarket used an AMM based on the logarithmic market scoring rule. Augur also experimented with similar schemes. If automated liquidity pools worked for token swaps, they should, in theory, work for election betting too.

They didn't.

Why AMMs Fail in Prediction Markets

When a prediction market event settles, one side is worth one dollar, the other zero. For anyone providing liquidity to the pool, the mathematical outcome is nearly brutal. As the market moves towards settlement, the pool automatically rebalances towards the losing side.

Impermanent Loss

What decentralized finance traders call "impermanent loss" becomes completely "permanent" here. Every market settles, and every pool will eventually hold a pile of worthless shares.

In regular DeFi pools, trading fees can offset impermanent loss over time.

But in prediction markets, the loss is a structural certainty. The only question is how much the liquidity provider loses. Protocols have tried to persuade users to deposit assets into these pools through liquidity mining, reward programs, and various incentive structures. All of these are just different ways to subsidize users to lose money at a slower rate.

Price Discovery

Then there is the issue of price discovery. AMMs price assets based on the pool ratio and a fixed formula. For tokens, the "correct price" is a moving target, and a formula-driven approximation is sufficient. Prediction market prices are supposed to represent probabilities. The slippage introduced by the constant product curve distorts the signal, especially in low-liquidity markets, where a single trade can swing the implied probability by several basis points.

Is the Central Limit Order Book (CLOB) Better Than AMMs?

Polymarket realized this early on. In late 2022, the platform migrated from a logarithmic market scoring rule-based AMM to a central limit order book. AMMs were designed for continuous token swaps across a price range. Prediction markets require precise probability pricing on binary outcomes with known terminal values. They are entirely different problems.

The characteristics that made AMMs revolutionary for tokens—permissionless market creation, instant liquidity bootstrapping, no reliance on professional market makers—are exactly what prediction markets desperately need. The problem is that the specific mechanism, the constant function formula built for token swaps, breaks down when faced with the reality of binary outcomes and inevitable settlement.

The challenge for prediction markets is to replicate these effects with infrastructure that reflects how these markets actually settle.

Domande pertinenti

QWhat is the core mathematical formula behind the Automated Market Maker (AMM) mechanism introduced by Uniswap?

AThe core mathematical formula is x * y = k, where x and y represent the quantities of two tokens in the pool, and k is a constant product.

QWhy do AMMs fail in the prediction market space according to the article?

AAMMs fail in prediction markets because these markets involve binary outcomes that eventually settle to $1 or $0, causing structural and certain losses for liquidity providers, unlike in token swaps where both assets can fluctuate indefinitely and fees can offset impermanent loss.

QWhat did early prediction market platforms like Polymarket and Augur experiment with?

AEarly platforms like Polymarket used an AMM based on Robin Hanson's Logarithmic Market Scoring Rule, and Augur also experimented with similar automated liquidity solutions.

QWhat is the key difference between token trading and prediction markets that makes AMMs unsuitable for the latter?

AToken trading involves assets designed to never go to zero and allows for continuous price fluctuations, while prediction markets have binary outcomes that definitively settle to $1 or $0, making AMM-induced losses certain rather than 'impermanent'.

QWhat solution did Polymarket eventually adopt to address the limitations of AMMs?

APolymarket migrated from an AMM based on the Logarithmic Market Scoring Rule to a Central Limit Order Book (CLOB) to better handle precise probability pricing and binary settlement in prediction markets.

Letture associate

Strategy's Loss in the Second Quarter Reaches $8.22 Billion Amid Bitcoin Decline

Strategy, the largest corporate holder of Bitcoin, reported a net loss of $8.22 billion for the second quarter. This loss was primarily driven by an $8.32 billion unrealized loss on its Bitcoin holdings due to a decline in the asset's price during the period. Despite these paper losses, the company increased its Bitcoin holdings to 843,775 BTC, a 25% growth since the start of the year. As part of a new monetization strategy, Strategy sold approximately $218.4 million worth of Bitcoin, mainly to fund dividends for preferred shareholders, with $216 million of that sold after Q2 ended. The company also built a $3.75 billion cash reserve, which it claims is sufficient to cover over two years of dividend and interest payments, aiming to insulate itself from Bitcoin's volatility while meeting obligations. Following the earnings release, Strategy's stock (MSTR) rose 4.7% in regular trading but corrected slightly after-hours. This pattern reflects how the company's accounting results are heavily tied to Bitcoin's price swings, even as its long-term strategy remains unchanged. The report indicates that Strategy is maintaining its core strategy of accumulating Bitcoin while building a financial buffer. This quarterly loss follows a recognizable pattern, with the company posting significant unrealized losses in previous quarters (e.g., $12.4 billion in Q4 2025 and ~$12.5 billion in Q1 2026) due to fair-value accounting. A key technical shift is its new monetization program, which introduces periodic selling pressure on the market, transitioning Strategy from a pure accumulator to a participant that occasionally adds supply. A critical question remains: how long can the cash reserve cover dividend obligations if a Bitcoin price downturn persists beyond two years?

cryptonews.ru5 min fa

Strategy's Loss in the Second Quarter Reaches $8.22 Billion Amid Bitcoin Decline

cryptonews.ru5 min fa

Will Terrorist Durov Ban Russian Officials?

Telegram founder Pavel Durov publicly reacted to being labeled a "terrorist" by Russian authorities, stating the designation came after he refused demands for mass surveillance and censorship on the platform. In a Telegram post, he highlighted that this status formally bans him from "publishing information online." Durov concluded with a statement widely circulated: Russian officials "clearly don't understand who can ban whom on the internet." This remark suggests Durov could potentially restrict official Russian government and officials' channels on Telegram, which continue to operate on the platform despite its formal blocking in Russia. The situation parallels previous, slow-moving state directives, like switching officials to domestic cars, contrasted with the current push to migrate all government communication to the Russian-made messenger MAX by 2030. However, reports indicate many officials still use Telegram via workarounds, fearing surveillance on MAX, while alternatives like BiP and KakaoTalk recently became inaccessible in Russia without a VPN. Durov has not specified any immediate actions against state channels. His statement is an initial response, with further developments depending on the authorities' reaction. The dynamic differs from 2020 when Russian regulators lifted a block on Telegram; now, Durov implies control from within the platform itself over the official accounts that persisted through that earlier blockade.

cryptonews.ru5 min fa

Will Terrorist Durov Ban Russian Officials?

cryptonews.ru5 min fa

DeepSeek V4 Official Version Arrives, New Capabilities Emerge, Value-for-Money King Enters the Fray

On July 31st, DeepSeek officially launched the public API beta for its DeepSeek-V4-Flash model. A key highlight is its performance on multiple Agent benchmark tests, reportedly nearing or even surpassing the level of the V4-Pro preview version from three months ago. Notably, the Flash model achieves this with significantly smaller scale (130B active parameters vs. Pro's 490B), suggesting that post-training optimization and data quality may be as crucial as raw model size. DeepSeek emphasized that the V4-Flash-0731 uses the same model architecture and size as its preview version, with improvements attributed solely to "re-trained post-training." The update also marks the official debut of DeepSeek's self-developed Agent framework, "Harness." The move signals DeepSeek's strategic push to position its cost-effective Flash model as a competitive base for Agent applications—scenarios requiring autonomous planning, tool usage, and complex task execution—where inference speed and cost are critical. By natively supporting OpenAI's Responses API format and adapting for code-generation scenarios, DeepSeek aims not just to be a cheaper alternative but to establish its own ecosystem in the Agent era. This release follows DeepSeek's record-breaking ~$50 billion fundraising round roughly two months prior, underscoring market confidence in its technology and commercialization prospects. The company is reportedly preparing for another funding round at a valuation of approximately $71 billion. The Flash model's advancement represents a step in fulfilling the high expectations that come with this valuation, setting the stage for the impending release of the V4-Pro official version and intensifying competition in the global Agent landscape.

marsbit10 min fa

DeepSeek V4 Official Version Arrives, New Capabilities Emerge, Value-for-Money King Enters the Fray

marsbit10 min fa

Trading

Spot
活动图片