Hacker News Reader

What kind of math do you do, and what would “generating proofs” look like do you think?

i don't know why this was down-voted... i'm genuinely interested in the answers. feel free to dm me.