← Back to context

Comment by slashdave

2 months ago

Iteratively leaning on lean to prove a conjecture is not intelligence, it is automation

0 comments

slashdave

Reply

No comments yet

Contribute on Hacker News ↗