The "efficiency" of propAMMs come from an external price feed
It assumes price is discovered elsewhere and imported. Oracles stop being relevant when you're the largest market
AMMs are far more ambitious, as they assume they are the venue where price discovery takes place