我听说过可以解决数学问题的人工智能。是否有可能创建一个与人类等效的“逻辑系统”,以所谓的“美丽”方式解决数学问题?除了使用蛮力之外,AI 还能在数学中发现美并解决问题吗?您能否提供正在开展这方面工作的示例?
是否有可能创建一个与人类等效的“逻辑系统”?
人工智能
研究
应用
2021-11-04 09:11:22
1个回答
在自动定理证明领域当然有大量的工作,但其中大部分只是与证明有关,而不是人类对美、优雅、简约等的概念。
然而,多年来在这个一般领域已经开展了一些工作:
- Douglas Lenat 著名的AM(“业余数学家”)。
- Douglas Hofstadter 的用于数列外推的NUMBO程序。
- 西蒙·科尔顿的一系列出版物
- Shalosh B. Ekhad是 Doron Zeilberg 创建的人工组合学自动证明助手,并被他誉为多篇论文的合著者。