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

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

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

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

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

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

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

TOP

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


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

TOP

返回列表 回复 发帖