> 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?
Right now it’s not a terrible bet. If the OpenAI results from the past week are representative then the AI success rate for verified proofs on open math problems is somewhere below 10%. There’s a long way to go before you can assume an AI failure to solve means the problem is unsolvable.