Artificial intelligence and machine learning generated conjectures with TxGraffiti

TL;DR

TxGraffiti is an AI system that automates mathematical conjecture generation using machine learning and heuristics, leading to publishable results and advancing research in graph theory.

Contribution

The paper introduces TxGraffiti's techniques and its impact on mathematics, including a new online version for exploring conjectures in graph theory.

Findings

Generated numerous publishable conjectures

Contributed to mathematical literature

Released an accessible online tool

Abstract

\emph{TxGraffiti} is a machine learning and heuristic based artificial intelligence designed to automate the task of conjecturing in mathematics. Since its inception, TxGraffiti has generated many surprising conjectures leading to publication in respectable mathematical journals. In this paper we outline the machine learning and heuristic techniques implemented by TxGraffiti. We also recall its contributions to the mathematical literature and announce a new online version of the program available for anyone curious to explore conjectures in graph theory.