> the only way to prove that these models are truly as good as they claim It would be actually to progress towards the solution of the "black box" problem, the

> the only way to prove that these models are truly as good as they claim It would be actually to progress towards the solution of the "black box" problem, the goal of "transparency". You have to implement a reasoner (etc.), you conceive the best architecture for it - then implement and test it.