我想知道AI的机器人如何证明几何题

国内不是说某公司机器人做高考数学得了105分吗

所有跟帖： 

• 和学生用同样的试卷？那样的话估计会得零分。 -QualityWithoutName- ♂ (0 bytes) () 06/07/2017 postreply 16:06:29

• 好像是人为输入试题。据说还会看文字题，但正确率低 -cutedolphin- ♂ (95 bytes) () 06/07/2017 postreply 16:14:36

• 最好的AI是写武侠小说,把金庸小说都AI了 -BBL123- ♀ (30 bytes) () 06/07/2017 postreply 16:23:32

• 让AI写小说，这个有意思，好奇，想看那 -Narnar- ♀ (0 bytes) () 06/07/2017 postreply 16:33:44

• 这AI机器人还真是厉害，照理说，研究和造机器人的码工围棋水平，肯定不如围棋高手，但是他们搞出来的机器人硬是打的围棋高手没有招架 -trimtip- ♂ (144 bytes) () 06/07/2017 postreply 17:20:33

• AI 有个分支叫符号推理。比较简单的几何题应该能搞定。 -牛二买刀- ♂ (0 bytes) () 06/07/2017 postreply 17:25:18

• 所有的平面几何证明都能搞定，但数论不行，哥德尔不完全定理正是以数论为例证明的。 -QualityWithoutName- ♂ (0 bytes) () 06/07/2017 postreply 17:48:09