What AI Says About Theorem | Parse