Hacker News new | past | comments | ask | show | jobs | submit
afthonos | on: AlphaProof Code
Because humans are the ones who care? At some point, you have to make the wish, or the genie is not going to do anything.