alt Hacker NewsActually there will because if you've actually ever spent time doing math, you only really get to that level of truly understanding and appreciating the stories if you've actually done the hard work yourself, which in turn will be economically infeasible due to AI. The analogy is interesting but incomplete and misleading.
Replies
you only really get to that level of truly understanding and appreciating the stories if you've actually done the hard work yourself, which in turn will be economically infeasible due to AI
The thing is, nobody has time for that. Look at Mochizuki's work. It takes years of hard labor by high-level mathematicians to come up with stuff like that, and years of hard labor on the part of other mathematicians to validate it. The low-hanging fruit in math has all been picked, AI or no AI, and Tao doesn't seem to acknowledge that.
The mathematics community needs better tools or they're out of business anyway. Now they're getting those tools... and bickering and complaining about it?
I've actually spent time doing math and literally everyone I know who knows math learnt it by reproving things that people proved before them. I don't see why AI proving things makes this form of learning any more economically infeasible than the field of mathematics already is - and since it was apparently economically feasible before AI I expect it to stay that way.