Comment
Comment by oytis
I 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.