If the expected gain from the upgrade, assuming it worked, outweighed the cost of the upgrade failing.
That, and there’s also the possibility that the AI’s proof might have a serious mistake.
If the expected gain from the upgrade, assuming it worked, outweighed the cost of the upgrade failing.
That, and there’s also the possibility that the AI’s proof might have a serious mistake.