In Reverie Together: Ten Years of Mathematical Discovery with a Machine Collaborator

Randy Davila, Boris Brimkov, Ryan Pepper

We present four open conjectures in graph theory generated by the automated conjecturing system \texttt{TxGraffiti}. Each conjecture is concise, grounded in natural graph invariant…