The MathLabs competition reminds me a lot of speedrunning progressions in video games. The routes and techniques used to complete a video game as fast as possible evolve as the speedrunning community shares videos of their record-setting runs. It's a really cool environment for developing the "technology" behind each speedrunning category, and I'd be fascinated to read analysis similar to this article.