Comment by jimbokun

Not clear.

Mathematicians are saying the current papers are pretty inscrutable and use terminology unfamiliar in the math sub fields in which the models are generating proofs.