Anyone else feel like mathematics is sort of the endgame? I.e., once ML can do it better than humans, that’s basically it?
replies(11):
If a computer proves the Reimann Hypothesis, someone will say "Oh of course, writing a proof doesn't require intelligence, it's merely the dumb application of logical rules, but only a human could have thought of the conjecture to begin with."