On the flip side, AI's can now grade pure math problems with the accuracy and rigor of a postdoc. And unlike PhD tutors, they're universally accessible to all.

It's the start of a golden age for those of us who are curious autodidacts. If you're working through the exercises of a math textbook, you can now instantly submit your (attempted) theorem-proof to the nearest robot, and see all your misconceptions and shortfalls of rigor laid bare.

> On the flip side, AI's can now grade pure math problems with the accuracy and rigor of a postdoc.

Wait, I'm curious about this bit - I did my math undergrad ~16 years ago and all my homework was handwritten.

Are now AIs capable of ingesting my mess of poor handwriting with arrows indicating the flow of a proof (e.g. from the bottom of the page to the top of a hand-drawn column half-way up the page to cram in the rest of the proof)?

Yeah this is what confuses me and gives me hope. I would have loved to have had AI in college. I probably would have had the confidence to take more and harder classes and generally been much less stressed. 10 years ago it felt like most students would take any easy chance to cheat, especially on nightly homework freshman year. I wouldn’t do it because for some sick reason I was actually motivated by learning more than the grade.

I’ve loved using AI to learn. I made SQL and Python classes of my own to finally get beyond a basic understanding of them. I made an Anki deck to learn a foreign language with very poor existing online resources.