← Back to context Comment by eru 5 months ago Maybe. But in math you can either produce the proof (with each step checkable) or you can't. 0 comments eru Reply No comments yet Contribute on Hacker News ↗
No comments yet
Contribute on Hacker News ↗