Automated conjecturing with \emph{TxGraffiti}
本文介绍了\emph{TxGraffiti}的设计、核心原则与数据驱动方法，该计算机程序能够自动生成数学猜想（尤以图论领域为主），同时阐述其对文献的贡献并引入一种新的交互式网络界面。
原始论文根据 CC0 1.0（http://creativecommons.org/publicdomain/zero/1.0/）发布到公有领域。 这是对下方论文的AI生成解释。它不是由作者撰写或认可的。如需技术准确性，请参阅原始论文。 阅读完整免责声明
想象一座庞大的数字图书馆，里面收藏着成千上万种不同类型的谜题（在此例中为称为“图”的数学形状）。对于图书馆中的每一个谜题，数学家们早已计算出了一长串统计数据：它包含多少个部分、建立了多少连接，以及内部是否包含某些特定形状。
TxGraffiti 是一款智能计算机程序，它就像这座图书馆中的一位超级有条理的侦探。它的工作不是为你解开谜题，而是通过查看统计数据，推测支配这些数据的规则。
其工作原理可分解为以下简单步骤：
1. “快照”图书馆
为了避免计算机实时计算统计数据（这会非常缓慢），研究人员首先对图书馆进行“快照”。他们创建了一个巨大的电子表格，其中每一行代表一个谜题，每一列代表一项统计数据。这个电子表格就是“证据库”。计算机并非随机猜测；它只查看已写在这个电子表格中的事实。
2. “猜谜游戏”（拟合直线）
计算机选择一个它想要预测的统计数据（我们称之为“目标”，例如谜题中独立部分的数量）。然后，它查看其他统计数据（“预测变量”），以判断它们是否有助于推测目标。
想象你试图根据一个人的鞋码（预测变量）来猜测其身高（目标）。计算机在图表上画出一条直线，这条直线位于电子表格中所有人的正上方。它试图让这条线尽可能贴近这些人，但绝不低于他们。
- 如果这条线触碰到某个人，那么这个人就是该规则的“完美范例”。
- 计算机对统计数据的每一种可能组合进行数学运算，以找到最紧密、最准确的“上限”（上界）或“下限”（下界）。
3. “名人墙”过滤器（达尔马提亚启发式）
计算机生成了成千上万条这样的“线”（规则）。其中大多数要么枯燥无味，要么毫无用处。例如，它可能发现一条规则虽然成立，但过于宽松，无法提供任何新信息。
为了解决这个问题，TxGraffiti 使用了一种名为达尔马提亚启发式（Dalmatian Heuristic）的过滤器。这就像一位博物馆策展人：
- 计算机审视一条新规则。
- 它问道：“这条规则是否解释了其他任何规则尚未解释过的谜题？”
- 如果答案是是，该规则将被添加到“名人墙”上。
- 如果答案是否（因为另一条规则已经完美涵盖了该谜题），这条新规则就会被作为冗余内容剔除。
这确保了最终的列表简短、犀利，且仅包含最有趣的发现。
4. 从猜测到证明
TxGraffiti 的输出是一份猜想列表。在数学中，猜想是基于证据看似成立但尚未被证明的“明智猜测”。
- 工作流程：人类数学家审视计算机的猜测。他们检查其是否合理，并尝试运用逻辑加以证明。
- 成功之处：该论文列举了几个真实案例，其中 TxGraffiti 做出了猜测，随后人类数学家将其证明为定理（已证实的事实）。
- 示例 1：计算机猜测，在某些规则形状中，独立部分的数量永远不会超过匹配对的数量。人类证明了这是正确的。
- 示例 2：它猜测了“零强制”（一种特定的着色形状方式）与“无爪”形状之间的关系。人类也证明了这一点。
为何这很重要
在出现此类系统之前，数学家们不得不花费数年时间凝视数据以寻找模式。TxGraffiti 自动化了“模式识别”部分。它并非取代人类数学家；相反，它就像一台高功率望远镜，扫描数据，将人类引向宇宙中最有希望的新定律方向。
简而言之：TxGraffiti 是一个工具，它利用数学事实的电子表格，穿过这些数据画出最佳可能的直线，过滤掉枯燥的内容，并将剩余的“明智猜测”交给人类，将其转化为已证实的定律。
您所在领域的论文太多了？
获取与您研究关键词匹配的最新论文每日摘要——附技术摘要，使用您的语言。