AI 有个分支叫符号推理。比较简单的几何题应该能搞定。
所有跟帖:
•
所有的平面几何证明都能搞定,但数论不行,哥德尔不完全定理正是以数论为例证明的。
-QualityWithoutName-
♂
(0 bytes)
()
06/07/2017 postreply
17:48:09