Hacker News new | past | comments | ask | show | jobs | submit
seydor | on: AlphaProof Code
we are still involving humans in the loop, it helps them acquiesce