Another option is to run several different Oracles of phi and take the shortest proof
Mr Armstrong has specified that (ctrl-f) “other Oracles can’t generally be used on the same problem”.
“Can’t generally be used”; if you understand the setup and are careful, you might be able to do so.
Another option is to run several different Oracles of phi and take the shortest proof
Mr Armstrong has specified that (ctrl-f) “other Oracles can’t generally be used on the same problem”.
“Can’t generally be used”; if you understand the setup and are careful, you might be able to do so.