免費論壇 繁體 | 簡體
Sclub交友聊天~加入聊天室當版主
分享
返回列表 发帖

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

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

机器证明泰博定理.png
2017-5-23 10:30

机器证明泰博定理 1.png
2017-5-23 10:36

机器证明泰博定理 2.png
2017-5-23 10:40
分享到: QQ空间QQ空间 腾讯微博腾讯微博 腾讯朋友腾讯朋友

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

TOP

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

TOP

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

TOP

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


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

TOP

返回列表 回复 发帖