Hacker News new | ask | show | jobs
by rootnod3 204 days ago
Isn't the whole point of AoC to NOT use AI? Even says so in the FAQ
2 comments
ngrislain 203 days ago
Yes, I'm doing it without AI to learn the language, nonetheless I do think that Lean 4 + AI is a super-powerful combination.
link
tgv 204 days ago
Like with the leader board. People do it to score points, not to learn. Hence, cheating.
link