Ask HN: Should math competitions become open-ended?

Participants would be required to find the most interesting pattern they can and then prove that it always holds.

They would earn more points for discovering and proving more interesting patterns.

This seems like the kind of task that AI would have more difficulty with.