Experience using AI software to prove Euler sum results [pdf] #1 Post by mbustamanter » Mon, Jun 08, 2026, 6:42 PM UTC Experience using AI software to prove Euler sum results [pdf]davidhbailey.com