We illustrate the power of Experimental Mathematics and Symbolic Computation to suggest irrationality proofs of natural constants, and the determination of their irrationality measures. Sometimes such proofs can be fully automated, but sometimes there is still need for a human touch.

中文翻译：

---

自动发现非理性证明和非理性措施

我们说明了力量实验数学和符号计算提出自然常数的非理性证明，并确定它们的非理性度量。有时这样的证明可以完全自动化，但有时仍然需要人工操作。