I'd guess universities might starting hosting open source models. They can probably actually afford to, unlike individual mathematicians.

Though maybe if there's a flurry of math-optimized agents coming up, like there are small coding agents, those might be feasible to host personally.