alt Hacker Newsyou 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 agree that the low-hanging fruit has largely been picked. But then I think we should acknowledge that and stop innovating, or just work less on new solutions and more on clarifying old ones, and start to work on degrowth rather than useless problem solving. Because I really don't feel that any of this is really necessary or beneficial for the human race in the long-term.