我们对自动反驳谱图理论猜想感兴趣。大多数现有工作要么通过生成有限大小的图来解决这个问题，要么通过深度强化学习来解决。穷举生成受生成图的大小限制，深度强化学习需要数小时或数天才能反驳一个猜想。我们建议使用搜索算法来解决这些缺点，以便在几秒钟内找到谱图理论猜想的潜在大型反例。我们将各种搜索算法应用于 Graffiti 中选择的一组猜想。在 Graffiti 中已经反驳的 13 个猜想中，我们的算法能够在几秒钟内反驳 12 个。我们还反驳了 Graffiti 中的猜想 197，该猜想一直到今天都是开放的。