“Given enough time” makes that a useless statement. Every kid in college learns this. The ability to eventually solve a given theorem isn’t interesting — espec

“Given enough time” makes that a useless statement. Every kid in college learns this. The ability to eventually solve a given theorem isn’t interesting — especially if the time is longer than the time left in the universe. It’s far more interesting to see if an AI can, given an arbitrarily stated problem make clear progress quickly.