Describir: How to Recognize Artificial Mathematical Intelligence in Theorem Proving.