Proximal Polixy Optimization