【摘要】：国家经济实力在发展，因此应适当加大对于这方面的投入。近期，吴文俊先生让我们初步了解到了机械证明。目前，在几何定理机器证明方面，我国处于国际领先地位，而在非线性代数方程组研究领域，竞争激烈，我国已进入先进行列，但还不能说领先。我们不应满足于某些方向上的领先地位，在继续进行几何定理机器证明研究，保持领先的同时，要把力量集中到非线性代数方程组的方向上来，特别应加强对实用而有效的算法的研究。
1. 软件开发。在数学机械化软件开发方面，由于起步晚、队伍小和资金不足等原因，我国远不及欧美先进国家。国家经济实力在发展，因此应适当加大对于这方面的投入。同时加大人才的培养，要像宣传大数据与人工智能一样宣传机器定理证明（实际上，这也是人工智能的一个重要领域）。当然，为了在软件开发方面赶超先进，我们可以在几何定理机器证明成果的基础上，开发高智能的教育软件和资助版权的符号演算数学软件。近期，吴文俊先生让我们初步了解到了机械证明。我们应当考虑的是如何接过他手中的接力棒，向前继续迈进。
2. 发展不均衡。目前，在几何定理机器证明方面，我国处于国际领先地位，而在非线性代数方程组研究领域，竞争激烈，我国已进入先进行列，但还不能说领先。我们不应满足于某些方向上的领先地位，在继续进行几何定理机器证明研究，保持领先的同时，要把力量集中到非线性代数方程组的方向上来，特别应加强对实用而有效的算法的研究。当然，机器证明的领域并不只有这两方面，我们亦不应只着眼当下。(www.xing528.com)
3. 与数学教学的融合。虽说几何定理可读性证明已取得突破性进展，但这并不代表现今机器产生的可读性证明可以融入教学课堂中。这里的“可读性”与不同教育层面的“可读性”还具有一定的差距。从实验室到课堂，这个过程需要不断的包装和维护。
免责声明：以上内容源自网络，版权归原作者所有，如有侵犯您的原创版权请告知，我们将尽快删除相关内容。
