**TxGraffiti** 是一款基于数据驱动和启发式算法的计算机程序，旨在自动生成跨越多个数学领域的猜想。自 2017 年创建以来，**TxGraffiti** 促成了大量数学出版物的发表，特别是在图论领域。本文介绍了 **TxGraffiti** 的设计和核心原则，包括其源自最初的 **Graffiti** 程序的根源，该程序率先实现了数学猜想的自动化。我们描述了数据收集过程、可信猜想的生成以及诸如 **Dalmatian** 启发式算法之类的用于过滤冗余或传递猜想的技术。此外，我们还重点介绍了 **TxGraffiti** 对数学文献的贡献，并介绍了一个新的基于 Web 的界面，允许用户以交互方式探索猜想。虽然我们重点关注图论，但所展示的技术可以扩展到数学的其他领域。