Experience using AI software to prove Euler sum results [pdf]