A very significant subset of programs can be statically determined... Technically this may be correct, but I feel confident in asserting that a transhuman AI w

A very significant subset of programs can be statically determined... Technically this may be correct, but I feel confident in asserting that a transhuman AI would not fall into that subset. You would have to run a second AI with the exact same inputs in order to make your 'prediction', leaving you in the same predicament with the second AI.