[分享]机器证明平面几何定理——泰博定理

TSC999

如何用计算机证明平面几何定理？下面举例说明：

TSC999

李涛是张景中的高徒，研究机器证明。本人看到过李涛关于机器证明的论文，与他有过书信交往。

abababa

这个本质还是把证明转成计算，不过这是能通过图形一步步作图构造出来的情况，如果作图不能被一步步构造性的作出来，不知道这种情况应该怎么办

zhcosin

这个算不上是机器证明吧，这其实是人提供思路由机器提供计算，真正的机器证明是过程中的思路和逻辑都是由机器给出的，这个是有专门理论的，我看到过人家给的代码，是由机器生成的逻辑推理代码。

TSC999

这个算不上是机器证明吧，这其实是人提供思路由机器提供计算，真正的机器证明是过程中的思路和逻辑都是由机 ...
zhcosin 发表于 2017-5-23 13:36

我觉得这是比较初等的机器证明，因为人工参与的比例较大，以后人工智能发展了，可以直接把问题让机器人看一眼（扫描一下），机器瞬间就能给出纯几何证明或是代数式证明。