Comment by User23
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.
> It’s cool that AI is making that accessible.
If you want to be taught by a hallucinating crack head that gets only 60-70% at best of what it says right, then yes. As a qualified mathematician, I would suggest that the best path to teaching is small steps in a properly defined hierarchy of knowledge and practice practice practice.
Most of the teaching is seen as rubbish because people didn't get enough practice further down the tree to be able to do it instinctively so higher level concepts can be retained.