Well then, just tell the AI that the statement is true and it will find reductions!

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.