Why not just make a separate leaderboard for autonomous AI solvers which are an interesting problem in their own right?