alt Hacker NewsOn the contrary to what Tao believe, it seems like we need AI to move the needle on mathematics.
> problems in many fields of mathematics
Developing these different fields moves complexity from the field itself to the interactions of these fields.
Getting too preoccupied with the established terminology risks us a local minima.
Anf because the field overall has become so complex that we need to decompose into subfields, there will be a good chance that we will not, as individuals, have the capacity to truly see progress.
The map has become so big that we need better tools to work with it.
Tao is about as pro the usage of AI in maths as anyone will get. The point isn't about whether or not we can use AI in maths because clearly it can be useful; it's that the unscientific approach taken by AI companies is detrimental.