3 ms·Iteratively leaning on lean to prove a conjecture is not intelligence, it is automationby slashdave 3mo agoIteratively leaning on lean to prove a conjecture is not intelligence, it is automation