6

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