An AI enhanced approach to the tree unimodality conjecture