The formal definition of algorithm doesn't really require that a human can inspect them, nor understand nor explain, or does it?
> (Which in some contexts is a legal requirement.)
That's another can of worms. Which contexts are you talking about?
