Hacker News new | past | comments | ask | show | jobs | submit
mjdiloreto | on: AlphaProof Code
Because "what to prove" is fundamentally bound in a value judgment, not merely the mechanistic application of reasoning.