Even baring a full blown test, hints like (I’m going to make stuff up) “If you can prove how Solomonoff Induction across a transfinite ordinal ensures Turing-completeness, you’re on the right track”
Even baring a full blown test, hints like (I’m going to make stuff up) “If you can prove how Solomonoff Induction across a transfinite ordinal ensures Turing-completeness, you’re on the right track”