Comment by ngrislain
Yes, this year I'm going for Lean 4: https://github.com/ngrislain/lean-adventofcode-2025
It's a great language. It's dependent-types / theorem-proving-oriented type-system combined with AI assistants makes it the language of the future IMO.
Isn't the whole point of AoC to NOT use AI? Even says so in the FAQ