HN
Hacker News
Top
New
Best
Ask
Show
Jobs
Comment by __patchbit__ | Hacker News Reader
Full thread
__patchbit__
·
AI says, "A proof is a program that computes the witness."
View on HN
No comments yet.