Comment by mna_

>But if it does not solve it, will you really wager 30 years of your life on the possibility that you might be smarter than the AI?

Sure. Just because current technology can't prove or disprove something, doesn't mean it can't ever be proven or disproven.