Sycophantic AI chatbots can break even ideal rational thinkers, researchers formally prove