TY - JOUR AU - Lin, Fangzhen PY - 2018/07/01 Y2 - 2024/03/28 TI - Machine Theorem Discovery JF - AI Magazine JA - AIMag VL - 39 IS - 2 SE - Articles DO - 10.1609/aimag.v39i2.2794 UR - https://ojs.aaai.org/aimagazine/index.php/aimagazine/article/view/2794 SP - 53-59 AB - In this article,  I propose a framework for machine theorem discovery and illustrate its use in discovering state invariants in planning domains and properties about Nash equilibria in game theory. I also discuss its potential use in program verification in software engineering. The main message of the article is that many AI problems can and should be formulated as machine theorem discovery tasks. ER -