Tackling an Unsolved Problem in Graph Theory with AI: Exhaustive Search and Proof of the 'Pebble-Carrying Game' on Tadpole Graphs

Introduction Having AI solve unsolved mathematical problems has become a hot topic. This time, I used a small unsolved ...