← Back to context

Comment by slashdave

10 hours 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 ↗