We do not currently know of any antonyms for automath.
The noun automath is defined as:
Did you mean automata or automate?
Win Amazon gift cards by writing simple stories at Fictish, a new story writing game backed by WordHippo.