In general, odds are changed automatically through special systems that monitor the market in real time. Still, sometimes manual updates happen if there’s unexpected news or big bets. I watch a breakdown about how different platforms handle it here recently, and it explained a lot in simple terms.
Personally, I believe automation is key now, but manual tweaks are still important in special cases.