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