What rumors? I looked and can’t find something to substantiate that #

100k per user perhaps.

in my experience, o3-mini-high while still unpredictable as it modifies and ignores parts of my code when I specifically tell it not to do so (e.g. "don't touch anything else!") is the best AI coding tool out there, far better than Claude

so Pro is worth it for O3-mini-high