大家都知道，代数问题，很多都可以用编程的方式来解答，那么几何题目呢？特别是几何题目的证明题目是不是也可以用编程的方式来解呢？比如：四边形满足什么条件下，它是矩形或菱形。什么样的情况下，三角形是等边三角形，两个三角形在什么情况下相似。还有立体几何里面的证明题目呢？等等。。。。。。
   如果可以，这是一个什么样的学科。

[此贴子已经被作者于2018-2-25 16:08编辑过]

首先，我觉得“数学题目”是为了锻炼人类的数学思维和熟练数学算法的，至于计算机则相反，需要数据才能定义一个图形，不可能凭空生成，计算机里这类学科，有计算机视觉（CV），计算机图像学（CG），图像处理（IP）

我们把证明题目的条件输入进去啊，让计算机用已经有了的内容自动证明出来，不就可以了吗？

关键是思维模拟,AI就是这样的~
通常一些高级的AI可以处理基本的图形问题例如找最短路径那些~

当然可以说说怎么用机器简单证明三角形的内角和为180度~
首先要对机器对"三角形"有个定义"由三条边组成的封闭图形叫三角型"~
那问题是对"边"也要有个定义"线段"~
然后也要让"线段"有个定义"两个端点之间的连线叫做线段"~
还要对点进行定义……这个,这个就不好说了,总之还先要让机器有个平面的概念才行~
那平面的概念就是一个二维坐标,那点就是那个二维坐标所表示的数据~
……
除了这些还需要给一些基本公理概念和证明方法(哇,难道有可以自动认识到公理的机器人么,厉害厉害)~

这些底层基础打好后就要对其进行一系列的复杂逻辑加工处理了(我相信会写AI的都可以解决好这个问题的)~
所以就是一堆基础条件然后经过一系列的逻辑运算而得出来的结果~

基本就是搜索加工数据思想,说白了就是神经网络算法~

所以这变相就要先教好机器人语文才行~

这其实还可以说一些深层次的东西~
为啥写个AI都要这么多功夫呢,因为一般AI接收的信息渠道和我们的不同嘛,如果要让机器人自动学习,那必然要给它"眼睛"来了解外界信息,给它"耳朵"接收外界声音~
还有吃东西问题怎么解决???~
较为关键的一部分就是怎么给它一个"大脑"思考~

那说到底就是这样说下去它就不是机器人了而是一个"人类"了~
所以思维推理这些用机器是很难模拟的,大概就是顶多抽取其中一部分核心实用的功能而已~

总之这样发展人工智能下去我也说不清会对人类造成什么影响,其实知道一点点就好了,如果深陷其中或者会难以自拔,那就麻烦了,所以还是先说到这里了~

[此贴子已经被作者于2018-2-27 01:36编辑过]

PS:话说如果机器人像人类那样思考或者还不一定能证明出来,因为不是所有人类都一定能通过自己证明出来,就是这样~

[此贴子已经被作者于2018-2-27 01:41编辑过]