If they use discriminators like K-Splice, Munkres, Bloom, Kleene Hierarchy, Markov-Chain to provide refined feedback into their ML, then there is little reason

If they use discriminators like K-Splice, Munkres, Bloom, Kleene Hierarchy, Markov-Chain to provide refined feedback into their ML, then there is little reason to doubt that ML is being used.