3 ms·Isn't the whole point of AoC to NOT use AI? Even says so in the FAQby rootnod3 10mo agoIsn't the whole point of AoC to NOT use AI? Even says so in the FAQtgv 10mo agoLike with the leader board. People do it to score points, not to learn. Hence, cheating.ngrislain 10mo agoYes, I'm doing it without AI to learn the language, nonetheless I do think that Lean 4 + AI is a super-powerful combination.