I think it’s mostly just that math education is largely suboptimal. It’s really an area where students hugely benefit from individual teaching. It’s cool that AI is making that accessible.

To an extent the techniques are still woefully primitive too. The standout for me personally is the calculational proof. It’s arguably the biggest advance in how math is done since the equals sign, but despite that it’s still rather uncommon. I suspect it will be another generation or two before it really catches on. Thankfully mechanical checking will drive adoption.