Hacker News new | ask | show | jobs
Experience using AI software to prove Euler sum results [pdf] (davidhbailey.com)
11 points by cpp_frog 8 days ago