alt Hacker NewsI wonder how we could formalize the notion of „interesting“ problems in a way that would allow us to automatically generate new interesting questions from the existing corpus of mathematics.
Replies
charcircuit • today at 6:59 AM
A simple way is to just measure how long it takes to solve. If it takes more than 5 minutes then we don't have a good understanding of that area and its worth potentially investing into.
sankhao • today at 5:55 AM
Or maybe we should not let pure mathematicians decide which problems are interesting, but reward the practical applications instead.
➕ show 2 replies
For me this path means that our role as humans is just the understanding of intelligence?
Everything else is secondary (or the last of our priorities) and would be better automated?
This is a hard pill to swallow