用程序自动生成数学猜想，助力图论研究突破。
Automated conjecturing with \emph{TxGraffiti}
- 基于数据与启发式规则，自动构造数学猜想。
- 已促成多篇数学论文发表，支持图论领域研究。
- 新网页界面可交互探索猜想，适合数学研究者使用。
TxGraffiti 是一个自 2017 年以来用于自动化生成数学猜想的数据驱动、启发式程序，尤其在图论领域贡献显著。本文介绍其设计原理，包括源自早期 Graffiti 程序的开创性思想。我们描述了数据收集流程、猜想生成机制，以及 Dalmatian 启发式方法如何过滤冗余或传递性猜想。该工具已推动多项数学成果发表，并推出新网页界面，支持用户交互式探索猜想。尽管聚焦图论，其方法可拓展至其他数学领域。
原文摘要 · Abstract (English)
\emph{TxGraffiti} is a data-driven, heuristic-based computer program developed to automate the process of generating conjectures across various mathematical domains. Since its creation in 2017, \emph{TxGraffiti} has contributed to numerous mathematical publications, particularly in graph theory. In this paper, we present the design and core principles of \emph{TxGraffiti}, including its roots in the original \emph{Graffiti} program, which pioneered the automation of mathematical conjecturing. We describe the data collection process, the generation of plausible conjectures, and methods such as the \emph{Dalmatian} heuristic for filtering out redundant or transitive conjectures. Additionally, we highlight its contributions to the mathematical literature and introduce a new web-based interface that allows users to explore conjectures interactively. While we focus on graph theory, the techniques demonstrated extend to other areas of mathematics.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品；中文卡片由大模型生成，请以原文为准。