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.