教计算机如何发现（！）然后证明（！！）(all自己（！））Collatz著名的3x+1猜想的类比
Teaching the Computer how to Discover(!) and then Prove(!!) (all by Itself(!!!)) Analogs of Collatz's Notorious 3x+1 Conjecture
摘要：
Paul Erdos声称数学还没有准备好解决3x+1猜想。我同意，但很快就会的！随着计算机生成的数学的指数增长性，我们（或者更确切地说，我们的硅生物）将有机会尝试它，当然，不是通过数字运算，而是通过符号运算和自动演绎。在本文中，我教我的计算机如何使用四个人（Amal Amleh，Ed Grove，Candy Kent和Gerry Ladas）的精彩想法来证明这个臭名昭著的猜想的二维类似物。一旦编程（使用我的Maple软件包LADAS），它就复制了他们的10个定理，并生成了134个新定理，并完成了证明。就凭它自己！我相信最初的3x+1猜想的证明也是如此，但需要一些额外的人类想法和更好的计算机。
英文摘要：
Paul Erdos claimed that mathematics is not yet ready to settle the 3x+1 conjecture. I agree, but very soon it will be! With the exponential growth of computer-generated mathematics, we (or rather our silicon brethrern) would have a shot at it. Of course, not by number crunching, but by symbol crunching and automatic deduction. In the present article, I taught my computer how to use the brilliant ideas of four human beings (Amal Amleh, Ed Grove, Candy Kent, and Gerry Ladas) to prove two-dimensional analogs of this notorious conjecture. Once programmed (using my Maple package LADAS) it reproduced their ten theorems, and generated 134 new ones, complete with proofs. All by itself! I believe that the proof of the original 3x+1 conjecture would be in the same vein, but one would need a couple of extra human ideas, and better computers.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
