Hacker News new | ask | show | jobs
by slashdave 14 days ago
Iteratively leaning on lean to prove a conjecture is not intelligence, it is automation