> You need humans to decide which problems are worth spending time on, and to evaluate which results are important
Why?
Because they likely have a better sense of what could and/or will be fruitful. Same reason an experienced mathematician likely is better at this than a random person off the street.
Because they likely have a better sense of what could and/or will be fruitful. Same reason an experienced mathematician likely is better at this than a random person off the street.