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

In three linesA researcher documents their experience using AI software to prove mathematical results on Euler sums. Experimental approach combining AI assistance with formal verification.

Summary generated by Claude — human-verified