Make it so that if they give the same results, it can usually prove it. If they don’t give the same results, it will never prove it. As such, it will work fine.
Well, ok, just terminate the search for proof after some defined cutoff time, ok. But that may drastically limit the kinds of proof you are able to find.
Make it so that if they give the same results, it can usually prove it. If they don’t give the same results, it will never prove it. As such, it will work fine.
Well, ok, just terminate the search for proof after some defined cutoff time, ok. But that may drastically limit the kinds of proof you are able to find.
It may. It may not. I don’t know. It may be impossible to optimize a system that much. That’s not my field.