The \emph{Optimist}: Towards Fully Automated Graph Theory Research
- aDepartment of Computational Applied Mathematics & Operations Research , Rice University , 6100 Main Street , Houston , 77005 , TX , USA
- ✉Corresponding author
Papers open inside SciRah from the original publisher or repository; SciRah never hosts them.
Abstract
This paper introduces the \emph{Optimist}, an autonomous system developed to advance automated conjecture generation in graph theory. Leveraging mixed-integer programming (MIP) and heuristic methods, the \emph{Optimist} generates conjectures that both rediscover established theorems and propose novel inequalities. Through a combination of memory-based computation and agent-like adaptability, the \emph{Optimist} iteratively refines its conjectures by integrating new data, enabling a feedback process with minimal human (\emph{or machine}) intervention. Initial experiments reveal the \emph{Optimist}'s potential to uncover foundational results in graph theory, as well as to produce conjectures of interest for future exploration. This work also outlines the \emph{Optimist}'s evolving integration with a counterpart agent, the \emph{Pessimist} (a human \emph{or machine} agent), to establish a dueling system that will drive fully automated graph theory research.
TL;DRThe Optimist is introduced, an autonomous system developed to advance automated conjecture generation in graph theory that generates conjectures that both rediscover established theorems and propose novel inequalities. (Semantic Scholar)