Can you explain to your cat how Amazon uses graph theory to deliver their packages of cat food?
Is Amazon still delivering food to your cat?
Humans don't need to understand what AI generates. We still can get the rewards.
Is Amazon still delivering food to your cat?
Humans don't need to understand what AI generates. We still can get the rewards.
In reality, it wouldn't depend on the truth value of the statement, but on the AI understanding the proof. If it understands it then it might be able to use it to find reductions.
So the point remains, knowing that P=NP isn't what's important, it's the proof that matters.