[XuMiao]

Human knowledge is built upon the high level logical relations. For example, 3-body problem. The equations over the variables are always right although no one can predict them accurately using those equations.

Current black box AI does not learn such a high level logical relation although it might predict motions the most accurate.

High level logical relations likely generalize to other domains. Low level prediction models are sensitive to the distributions of the data and hardly generalizable cross domain.

Perhaps we need a hybrid system to combine both abstract logical reasoning and semantic tensor computations.