Yeah, I’d be excited to see these too—I’ve been thinking for a while about how to create tests for the core concepts.
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”
Yeah, I’d be excited to see these too—I’ve been thinking for a while about how to create tests for the core concepts.
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”