Experience using AI software to prove Euler sum results [pdf]davidhbailey.com1 points by cpp_frog 2 hours ago