← Back to context

Comment by bawolff

10 hours ago

Formalizing is not the same as discovering. There is still plenty of room for human ingenuity.

0 comments

bawolff

Reply

No comments yet

Contribute on Hacker News ↗