Learning proofs for the classification of nilpotent semigroups

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