Definition
自动化数学家利用机器学习和符号推理来探索超越人类直觉的数学空间。这些系统可以生成假设、验证证明并发现模式。
Summary
一种旨在通过计算搜索和推理发现新数学定理、猜想或证明的人工智能系统。
Key Concepts
- 定理证明
- 符号推理
- 假设生成
- 形式化验证
Use Cases
- 发现新的图论性质
- 在形式化方法中自动验证证明
- 寻找猜想的反例
A comprehensive multilingual AI terminology dictionary
自动化数学家利用机器学习和符号推理来探索超越人类直觉的数学空间。这些系统可以生成假设、验证证明并发现模式。
一种旨在通过计算搜索和推理发现新数学定理、猜想或证明的人工智能系统。