Comment by rootnod3 Comment by rootnod3 2 days ago 2 replies Copy Link View on Hacker News Isn't the whole point of AoC to NOT use AI? Even says so in the FAQ
Copy Link ngrislain a day ago Next Collapse Comment - Yes, I'm doing it without AI to learn the language, nonetheless I do think that Lean 4 + AI is a super-powerful combination. Reply View | 0 replies
Copy Link tgv 2 days ago Prev Collapse Comment - Like with the leader board. People do it to score points, not to learn. Hence, cheating. Reply View | 0 replies
Yes, I'm doing it without AI to learn the language, nonetheless I do think that Lean 4 + AI is a super-powerful combination.