Machine learning is applied to find proofs, with smaller or smallest numbers of nodes, for the classification of 4-nilpotent semigroups.

翻译：机器学习用于寻找证据,其中节点数目较小或最小,用于4个无能力半组的分类。