Artificial intelligence and machine learning generated conjectures with TxGraffiti
It addresses the problem of automating mathematical discovery for researchers, though it appears incremental as it builds on existing techniques.
The paper presents TxGraffiti, an AI system that automates mathematical conjecturing, which has generated surprising conjectures leading to publications in mathematical journals, and announces a new online version for graph theory exploration.
\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.