denoting a theorem which imposes a reduction that depends on the extent to which some of its elements are smaller than alternatives
"the antimonimaster conjecture"
a word
that does not exist; it was invented, defined and used by a machine learning algorithm.
a word
that probably exists;
with an alternative definition made by a machine learning algorithm.