|
本帖最后由 宇宙无理数 于 2022-1-14 12:52 编辑
我认为真正的智能软件可以分成两类: 被动智能软件和主动智能软件. 被动智能软件可以将人类用自然语言描述的数学问题方便地转化为计算机语言能够理解的问题, 然后经过计算给出详细的计算过程, 并使用人类的自然语言或者接近自然语言的人工语言输出详细的过程(注意, 必须是输出每一步的详细推理过程, 而不是仅仅输出一个结果). 主动智能软件则能够自主推理, 就是说, 这样的计算机可以高速而大量地产生人类不曾知晓的新的定理和结论, 并且能够给出令人信服的详细证明过程, 真正把人类从繁重的智力劳动中解放出来. 就是说, 人类可以坐等计算机创造出新的数学知识. 遗憾的是这样的智能软件目前还不存在. 但我相信, 科学家们一定在进行相关的研究.
至于你说的辅助功能, 很多软件都具备. 最大众化的几何画板或GGB也有这样的功能. 例如, 它们能够辅助人们猜测几何图形的两条边的长度是否相等. 但是这类软件采用的方法是具体计算两条边的长度, 当结果很接近时, 就可以认为这两条边的长度相等, 但是完全无法给出详细的理论证明过程, 所以这类软件并没有真正的智能.
|
|