It seems like the leaderboard was made obsolete today. Once there is an AI everybody can use to solve it automatically, there will be hundreds of submissions around the same time.

Let’s see how many days those AIs can solve. Around day 10 AoC usually gets quite difficult.