/
Experience using AI software to prove Euler sum resu... — Trendlair