2 problems
Matching
Ternary Gröbner-basis finiteness conjecture. For each , the reduced Gröbner basis for the nonsymmetric operad encoding the identity is finite.
Ternary multiplication nilpotence conjecture. The associative algebras and are nilpotent; in both cases, the nilpotence is of index and is not less in general.