alt Hacker NewsI can't see how the field can even exist - not to say progress - if any problem can be solved before a human can understand it. Looks like mathematics without mathematicians, "progressing" in the same way as paperclip optimizer progresses in its productivity.
Math doesn’t exist to make mathematicians famous.
It provides deep insights into logic, computation, provides tools for us to understand the universe, establishes mind blowing relationships between seemingly unrelated things.
For example “how much information can a black hole contain?”